scientific article; zbMATH DE number 4018372
From MaRDI portal
Publication:3030241
zbMATH Open0626.68024MaRDI QIDQ3030241FDOQ3030241
Authors: Mogens Nielsen 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
concurrencyPetri netsobservational equivalenceconcurrent computationMilner's calculus for communicating systemsnet theory
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
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
- Title not available (Why is that?)
- CCS with priority choice
- A true concurrency model of CCS semantics
- Static VS Dynamic Reversibility in CCS
- Concurrent nets: a study of prefixing in process calculi
- Concurrent nets: a study of prefixing in process calculi
- The expressive power of delay operators in SCCS
- Why ever CSP?
- Title not available (Why is that?)
- Introduction to concurrency theory. Transition systems and CCS
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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 CCS semantics for NIL
- A monotone framework for CCS
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The expressive power of delay operators in SCCS
- A multiset semantics for the pi-calculus with replication
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)
