The parallel composition of uniform processes with data

DOI10.1016/S0304-3975(00)00324-8MaRDI QIDQ5958772zbMATH OpenOpenAlexFDO

Authors Jan Friso Groote, J. van Wamel

Publication date 3 March 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(00)00324-8

zbMATH Keywords

Cones and foci methodCRLlinear process expressionsparallelismprocess algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 4037178
• scientific article; zbMATH DE number 4777
• Equational reasoning about nondeterministic processes
• scientific article; zbMATH DE number 3978362
• scientific article; zbMATH DE number 4018375

Cites work

• A computer checked algebraic verification of a distributed summation algorithm
• A structural induction theorem for processes
• Focus points and convergent process operators
• Formal verification of a leader election protocol in process algebra
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 683363 (Why is no real title available?)
• scientific article; zbMATH DE number 1479614 (Why is no real title available?)
• scientific article; zbMATH DE number 1555176 (Why is no real title available?)
• Modular specification of process algebras
• Process Algebra
• The tree identify protocol of IEEE 1394 in \(\mu\)CRL

Cited in

(5)

• Analysis of a distributed system for lifting trucks.
• Multiparty contract signing over a reliable network
• scientific article; zbMATH DE number 4037178 (Why is no real title available?)
• Verification of mobile ad hoc networks: an algebraic approach
• Cones and foci: A mechanical framework for protocol verification

This page was built for publication: The parallel composition of uniform processes with data

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