The connection between an event structure semantics and an operational semantics for TCSP

DOI10.1007/BF01178923zbMath0790.68064OpenAlexW2001704968MaRDI QIDQ1323346

Christel Baier, Mila E. Majster-Cederbaum

Publication date: 10 May 1994

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01178923

zbMATH Keywords

operational semanticsinterleaving semanticsconcurrencytransition systemTSCP

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

CSP-CASL -- a new integration of process algebra and algebraic specification ⋮ Transition systems from event structures revisited ⋮ Denotational semantics in the cpo and metric approach ⋮ Towards the hierarchical verification of reactive systems ⋮ Event structure semantics for multiparty sessions ⋮ Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Unnamed Item ⋮ Metric semantics for true concurrent real time ⋮ Underspecification for a simple process algebra of recursive processes.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification-oriented semantics for communicating processes
• A distributed operational semantics of CCS based on condition/event systems
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• Four domains for concurrency
• Synchronization trees
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Processes and the denotational semantics of concurrency

This page was built for publication: The connection between an event structure semantics and an operational semantics for TCSP