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

• scientific article; zbMATH DE number 1231603 (Why is no real title available?)
• scientific article; zbMATH DE number 1780061 (Why is no real title available?)
• 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
• Symbolic bisimulations
• Synchronized behaviours of processes and rational relations

Cited in

(16)

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

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)