A true concurrency model of CCS semantics

DOI10.1016/0304-3975(93)90003-CzbMATH Open0770.68087OpenAlexW59382029MaRDI QIDQ1802071FDOQ1802071

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

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• P/R nets and process concepts. II

Cited In (4)

• Cameo: an alternative model of concurrency for Eiffel
• An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\)
• Title not available (Why is that?)
• An Extended cCSP with Stable Failures Semantics

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)