Title of article :
Notions of bisimulation and congruence formats for SOS with data
Author/Authors :
Mohammad Reza Mousavi، نويسنده , , Michel A. Reniers، نويسنده , , Jan Friso Groote، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Keywords :
Formal semantics , congruence , Bisimulation , SOS formats , Structural operational sematics
Journal title :
Information and Computation
Journal title :
Information and Computation
