The parallel composition of uniform processes with data

DOI10.1016/S0304-3975(00)00324-8zbMath0992.68235OpenAlexW2168011879MaRDI QIDQ5958772

Jos van Wamel, Jan Friso Groote

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

process algebraparallelismCones and foci methodCRLlinear process expressions

Mathematics Subject Classification ID

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

Related Items (4)

Cones and foci: A mechanical framework for protocol verification ⋮ Analysis of a distributed system for lifting trucks. ⋮ Verification of mobile ad hoc networks: an algebraic approach ⋮ Multiparty Contract Signing Over a Reliable Network

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The tree identify protocol of IEEE 1394 in \(\mu\)CRL
• Formal verification of a leader election protocol in process algebra
• Modular specification of process algebras
• A structural induction theorem for processes
• A computer checked algebraic verification of a distributed summation algorithm
• Process Algebra

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