A true concurrency model of CCS semantics

DOI10.1016/0304-3975(93)90003-CzbMath0770.68087OpenAlexW59382029MaRDI QIDQ1802071

Ru-qian Lu

Publication date: 8 August 1993

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

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90003-c

zbMATH Keywords

bisimulationCCSAC/E systemsNP/R netstrue concurrency semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• P/R nets and process concepts. II

This page was built for publication: A true concurrency model of CCS semantics