A partial ordering semantics for CCS

DOI10.1016/0304-3975(90)90095-YzbMath0701.68073MaRDI QIDQ914400

Ugo Montanari, Rocco De Nicola, Pierpaolo Degano

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

semantics; concurrency; observational equivalence; calculus of communicating systems; many step derivations; partial ordering derivation relation

Mathematics Subject Classification ID

06A06: Partial orders, general

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68N15: Theory of programming languages

68Q55: Semantics in the theory of computing

Related Items

On the implementation of concurrent calculi in net calculi: two case studies, Universal axioms for bisimulations, A partial ordering semantics for CCS, Concurrent histories: a basis for observing distributed systems, A distributed operational semantics of CCS based on condition/event systems, Partial ordering models for concurrency can be defined operationally, Concurrency and atomicity, A process algebra with distributed priorities, Non-interleaving semantics for mobile processes, Comparing locality and causality based equivalences, A causal semantics for CCS via rewriting logic, Concurrent testing of processes, Timing and causality in process algebra, Interleaving set temporal logic, Reversing algebraic process calculi, Ugo Montanari and Concurrency Theory, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algèbre de processus et synchronisation
• A partial ordering semantics for CCS
• Calculi for synchrony and asynchrony
• Specification-oriented semantics for communicating processes
• Concurrent histories: a basis for observing distributed systems
• Modeling concurrency with partial orders
• Petri nets, algebras, morphisms, and compositionality
• A distributed operational semantics of CCS based on condition/event systems
• Concurrency and atomicity
• Behaviours of concurrent systems
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• Testing equivalences for processes
• A structural approach to operational semantics
• The non-sequential behaviour of Petri nets
• Distributed bisimulations
• CIRCAL and the representation of communication, concurrency, and time
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency
• Time, clocks, and the ordering of events in a distributed system