scientific article; zbMATH DE number 4018372

MaRDI QIDQ3030241zbMATH OpenFDO

Authors Mogens Nielsen

Publication date 1987

zbMATH Keywords

concurrencyconcurrent computationMilner's calculus for communicating systemsnet theoryobservational equivalencePetri nets

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4041280
• scientific article; zbMATH DE number 4035159
• Notes on the methodology of CCS and CSP
• scientific article; zbMATH DE number 1555178
• On the implementation of concurrent calculi in net calculi: two case studies

Cited in

(35)

• A distributed operational semantics of CCS based on condition/event systems
• Type theory and concurrency
• CCS with priority choice
• Notes on the methodology of CCS and CSP
• A monotone framework for CCS
• A true concurrency model of CCS semantics
• On CCS with parametric relabelling
• An interpretation of CCS into ludics
• Concurrent calculus (CC) and its properties
• Nested-unit Petri nets
• Concurrent nets: a study of prefixing in process calculi
• Concurrent nets: a study of prefixing in process calculi
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• Static VS Dynamic Reversibility in CCS
• scientific article; zbMATH DE number 3846850 (Why is no real title available?)
• scientific article; zbMATH DE number 3896316 (Why is no real title available?)
• scientific article; zbMATH DE number 3986626 (Why is no real title available?)
• A CCS semantics for NIL
• scientific article; zbMATH DE number 4035159 (Why is no real title available?)
• scientific article; zbMATH DE number 4041280 (Why is no real title available?)
• scientific article; zbMATH DE number 30325 (Why is no real title available?)
• scientific article; zbMATH DE number 1555178 (Why is no real title available?)
• The fork calculus
• scientific article; zbMATH DE number 3995042 (Why is no real title available?)
• scientific article; zbMATH DE number 3995043 (Why is no real title available?)
• scientific article; zbMATH DE number 751137 (Why is no real title available?)
• Formal definition of XCCS modelling language
• Why ever CSP?
• The expressive power of delay operators in SCCS
• The expressive power of delay operators in SCCS
• Extensional Petri net
• A multiset semantics for the pi-calculus with replication
• A CCS-based investigation of deadlock in a multi-process electronic mail system
• Parametric channels via label expressions in CCS
• Introduction to concurrency theory. Transition systems and CCS

This page was built for publication:

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