Title of article :
What is a free name in a process algebra?
Author/Authors :
Flemming Nielson، نويسنده , , Hanne Riis Nielson، نويسنده , , Henrik Pilegaard، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2007
Keywords :
Process algebras , Concurrency , Reaction semantics
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
