Title of article :
An exercise in structural congruence
Author/Authors :
Joost Engelfriet، نويسنده , , Tjalling Gelsema، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2007
Keywords :
concurrency , Commutative semigroup , Pi-calculus , Petri net
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters