Title of article :
Simulation Preorder over Simple Process Algebras
Author/Authors :
Anton?n Ku era، نويسنده , , Richard Mayr، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
concurrency , simulation equivalence , infinite-state systems.
Journal title :
Information and Computation
Journal title :
Information and Computation
