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

Christel BaierChristel Baier, Mila E. Majster-CederbaumMila E. Majster-Cederbaum

DOI Link

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

Details
Bibtex

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}
}