A\(^ 2\)CCS: Atomic actions for CCS

DOI10.1016/0304-3975(90)90035-GzbMath0698.68029WikidataQ127189963 ScholiaQ127189963MaRDI QIDQ912608

Sergio Marchetti, Ugo Montanari, Roberto Gorrieri

Publication date: 1990

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

zbMATH Keywords

operational semanticsCCScalculus for communicating processcompositional transition systemsoperational model of atomic actionsprefix operation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (8)

Language Representability of Finite P/T Nets ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Action refinement and property inheritance in systems of sequential agents ⋮ On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues ⋮ On the implementation of concurrent calculi in net calculi: two case studies ⋮ Progress assumption in concurrent systems ⋮ The semantics of the combination of atomized statements and parallel choice

Cites Work

• Unnamed Item
• Unnamed Item
• Concurrency and atomicity
• A structural approach to operational semantics
• Specifying Concurrent Program Modules
• Process algebra for synchronous communication

This page was built for publication: A\(^ 2\)CCS: Atomic actions for CCS