مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

A syntactic commutativity format for SOS

Author/Authors :

MohammadReza Mousavi، نويسنده , , Michel Reniers، نويسنده , , Jan Friso Groote، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2005

Pages :

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 :