scientific article; zbMATH DE number 4094831
From MaRDI portal
Publication:3821598
Recommendations
Cited in
(19)- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
- A distributed operational semantics of CCS based on condition/event systems
- Partial ordering models for concurrency can be defined operationally
- The connection between an event structure semantics and an operational semantics for TCSP
- Angelic processes for CSP via the UTP
- Concurrent bisimulations in Petri nets
- Simulating truly concurrent CSP
- Asynchronous traces and open Petri nets
- Language representability of finite P/T nets
- Ugo Montanari and Concurrency Theory
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- CSP with Hierarchical State
- Implementations of the CSP Notation for Concurrent Systems
- scientific article; zbMATH DE number 4050949 (Why is no real title available?)
- scientific article; zbMATH DE number 2087511 (Why is no real title available?)
- Programming Languages and Systems
- Step failures semantics and a complete proof system
- On the implementation of concurrent calculi in net calculi: two case studies
- A partial ordering semantics for 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 Q3821598)
