A Theory for the Composition of Concurrent Processes
From MaRDI portal
Publication:2827466
DOI10.1007/978-3-319-39570-8_12zbMath1347.68267OpenAlexW2487994048MaRDI QIDQ2827466
Min Zhang, Eric Madelaine, Ludovic Henrio
Publication date: 19 October 2016
Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01432917/file/426757_1_En_12_Chapter.pdf
Related Items (5)
Behavioural semantics for asynchronous components ⋮ SMT-based generation of symbolic automata ⋮ Compositional equivalences based on open pNets ⋮ A Denotational Semantics for Parameterised Networks of Synchronised Automata ⋮ A Theory for the Composition of Concurrent Processes
Cites Work
- Unnamed Item
- Unnamed Item
- Symbolic bisimulations
- Higher-level synchronising devices in Meije-SCCS
- A context dependent equivalence between processes
- Synchronized behaviours of processes and rational relations
- Bisimulations for a calculus of broadcasting systems
- A Theory for the Composition of Concurrent Processes
This page was built for publication: A Theory for the Composition of Concurrent Processes