A\(^ 2\)CCS: Atomic actions for CCS
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 semanticsCCScalculus for communicating processcompositional transition systemsoperational model of atomic actionsprefix operation
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)
Cites Work
This page was built for publication: A\(^ 2\)CCS: Atomic actions for CCS