Title of article :
Priority and abstraction in process algebra
Author/Authors :
Rance Cleaveland، نويسنده , , Gerald Luttgen، نويسنده , , V. Natarajan، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Full-abstraction , Axiomatization , Process algebra , Priority , Observation congruence , Bisimulation
Journal title :
Information and Computation
Journal title :
Information and Computation
