scientific article; zbMATH DE number 4018372

MaRDI QIDQ3030241zbMATH OpenFDO

Authors Mogens Nielsen

Publication date 1987

zbMATH Keywords

concurrencyPetri netsobservational equivalenceconcurrent computationMilner's calculus for communicating systemsnet theory

Mathematics Subject Classification ID

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

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

(30)

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

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)