Title of article
What is a free name in a process algebra?
Author/Authors
Flemming Nielson، نويسنده , , Hanne Riis Nielson، نويسنده , , Henrik Pilegaard، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
7
From page
188
To page
194
Keywords
Process algebras , Concurrency , Reaction semantics
Journal title
Information Processing Letters
Serial Year
2007
Journal title
Information Processing Letters
Record number
130471
Link To Document