مرکز منطقه ای اطلاع رساني علوم و فناوري - A non-SOS operational semantics for a process algebra

Title of article :

A non-SOS operational semantics for a process algebra

Author/Authors :

Wojciech Fraczak، نويسنده , , Marek B. Zaremba، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

Structured operational semantics , Weak bisimulation , Process algebras

Journal title :

Information Processing Letters

Serial Year :

1998

Journal title :

Information Processing Letters

Record number :

128965

Link To Document :