Title of article
Transition systems from event structures revisited
Author/Authors
Mila Majster-Cederbaum، نويسنده , , Markus Roggenbach، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1998
Pages
6
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