A true concurrency model of CCS semantics

DOI10.1016/0304-3975(93)90003-CMaRDI QIDQ1802071zbMATH OpenOpenAlexFDO

Authors Ruqian 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

AC/E systemsbisimulationCCSNP/R netstrue concurrency semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 512945
• scientific article; zbMATH DE number 125888
• scientific article; zbMATH DE number 4018372
• An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\)
• Truly concurrent constraint programming

Cites work

• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 4035159 (Why is no real title available?)
• P/R nets and process concepts. II

Cited in

(5)

• An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\)
• An Extended cCSP with Stable Failures Semantics
• scientific article; zbMATH DE number 512945 (Why is no real title available?)
• scientific article; zbMATH DE number 1761891 (Why is no real title available?)
• Cameo: an alternative model of concurrency for Eiffel

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802071)