A theory for the composition of concurrent processes

DOI10.1007/978-3-319-39570-8_12MaRDI QIDQ2827466zbMATH OpenOpenAlexFDO

Authors Ludovic Henrio, Eric Madelaine, Min Zhang

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)

Recommendations

• Nets, Terms and Formulas
• scientific article; zbMATH DE number 139606
• Compositional semantics for open Petri nets based on deterministic processes
• scientific article; zbMATH DE number 3905854
• scientific article; zbMATH DE number 1863181

Cites work

• A context dependent equivalence between processes
• A theory for the composition of concurrent processes
• Bisimulations for a calculus of broadcasting systems
• Higher-level synchronising devices in Meije-SCCS
• scientific article; zbMATH DE number 1231603 (Why is no real title available?)
• scientific article; zbMATH DE number 1780061 (Why is no real title available?)
• Symbolic bisimulations
• Synchronized behaviours of processes and rational relations

Cited in

(16)

• A transformation system for concurrent processes
• Defining concurrent processes constructively
• SMT-based generation of symbolic automata
• Behavioural semantics for asynchronous components
• Compositional equivalences based on open pNets
• A theory for the composition of concurrent processes
• Reflections on the future of concurrency theory in general and process calculi in particular
• A denotational semantics for parameterised networks of synchronised automata
• scientific article; zbMATH DE number 992012 (Why is no real title available?)
• scientific article; zbMATH DE number 3872691 (Why is no real title available?)
• Congruence from the operator's point of view: compositionality requirements on process semantics
• Sequential composition in the presence of intermediate termination (extended abstract)
• Parallel Processing and Applied Mathematics
• Programming Languages and Systems
• Refinements for open automata
• Computable concurrent processes

This page was built for publication: A theory for the composition of concurrent processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827466)