مرکز منطقه ای اطلاع رساني علوم و فناوري - Transition systems from event structures revisited

Title of article :

Transition systems from event structures revisited

Author/Authors :

Mila Majster-Cederbaum، نويسنده , , Markus Roggenbach، نويسنده ,

Issue Information :

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

Pages :

From page :

119

To page :

124

Keywords :

Bisimulation , Concurrency: Event structures: Formal semantics: Transition systems

Journal title :

Information Processing Letters

Serial Year :

1998

Journal title :

Information Processing Letters

Record number :

128927

Link To Document :