The connection between an event structure semantics and an operational semantics forTCSP |
| |
Authors: | Christel Baier Mila E. Majster-Cederbaum |
| |
Affiliation: | (1) Fakultät für Mathematik und Informatik, Universität Mannheim, Seminargebäude A5, D-68159 Mannheim, Germany |
| |
Abstract: | The relation between an operational interleaving semantics forTSCP based on a transition system and a compositional true concurrency semantics based on event structures is studied. In particular we extend the consistency result of Goltz and Loogan [15] forTCSP processes without recursion to the general case. Thus we obtain for everyTCSP processP that its operational meaningO(P) and the interleaving behaviourO( M3P3) which is derived from the event structureM3P3 associated withP are bisimilar. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |