Title of article :
Ordered SOS Process Languages for Branching and Eager Bisimulations
Author/Authors :
Irek Ulidowski، نويسنده , , Iain Phillips، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
GSOS format , process preorders: branching bisimulation , eager bisimulation , congruenceresults. , structured operational semantics (SOS) , formats ofSOSrules: orderedSOS format , process languages
Journal title :
Information and Computation
Journal title :
Information and Computation
