A Theory for the Composition of Concurrent Processes

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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