A\(^ 2\)CCS: Atomic actions for CCS
From MaRDI portal
Publication:912608
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)
operational semantics; CCS; calculus for communicating process; compositional transition systems; operational model of atomic actions; prefix operation
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
Action refinement and property inheritance in systems of sequential agents, On the implementation of concurrent calculi in net calculi: two case studies, The semantics of the combination of atomized statements and parallel choice, Progress assumption in concurrent systems, 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
Cites Work