Title of article
A syntactic commutativity format for SOS
Author/Authors
MohammadReza Mousavi، نويسنده , , Michel Reniers، نويسنده , , Jan Friso Groote، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2005
Pages
7
From page
217
To page
223
Keywords
Formal semantics , Structural Operational Semantics (SOS) , Commutativity , Standard SOS formats
Journal title
Information Processing Letters
Serial Year
2005
Journal title
Information Processing Letters
Record number
130037
Link To Document