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
Pages
41
From page
107
To page
147
Keywords
Formal semantics , congruence , Bisimulation , SOS formats , Structural operational sematics
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262297
Link To Document