The Connection between an Event Structure Semantics and an Operational Semantics for TCSP

From International Center for Computational Logic

Toggle side column

The Connection between an Event Structure Semantics and an Operational Semantics for TCSP

Christel BaierChristel Baier,  Mila E. Majster-CederbaumMila E. Majster-Cederbaum
Christel Baier, Mila E. Majster-Cederbaum
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP
Acta Informatica, 31(1):81--104, 1994
  • KurzfassungAbstract
    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( M∥3P∥3) which is derived from the event structureM∥3P∥3 associated withP are bisimilar.
  • Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@article{BM1994,
  author  = {Christel Baier and Mila E. Majster-Cederbaum},
  title   = {The Connection between an Event Structure Semantics and an
             Operational Semantics for {TCSP}},
  journal = {Acta Informatica},
  volume  = {31},
  number  = {1},
  year    = {1994},
  pages   = {81--104},
  doi     = {10.1007/BF01178923}
}