A partial ordering semantics for CCS

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

Rocco De Nicola, Ugo Montanari, Pierpaolo Degano

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90095-y

zbMATH Keywords

semanticsconcurrencyobservational equivalencecalculus of communicating systemsmany step derivationspartial ordering derivation relation

Mathematics Subject Classification ID

Partial orders, general (06A06) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (23)

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

Cites Work

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

This page was built for publication: A partial ordering semantics for CCS