Linearization in parallel pCRL

DOI10.1016/S1567-8326(01)00005-4zbMath0988.68121OpenAlexW2027246586MaRDI QIDQ5946027

Alban Ponse, Yaroslav S. Usenko, Jan Friso Groote

Publication date: 22 July 2002

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1567-8326(01)00005-4

zbMATH Keywords

\(\mu\)CRLparallel pCRL processes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Linearization of hybrid processes ⋮ Focus points and convergent process operators: A proof strategy for protocol verification ⋮ Cones and foci: A mechanical framework for protocol verification ⋮ Model checking a cache coherence protocol of a Java DSM implementation ⋮ An abstract interpretation toolkit for \(\mu\)CRL ⋮ Revisiting sequential composition in process calculi ⋮ State Space Reduction of Linear Processes Using Control Flow Reconstruction ⋮ Equivalence of recursive specifications in process algebra

Uses Software

• UNITY

Cites Work

• A complete inference system for a class of regular behaviours
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Algebraic solutions to recursion schemes
• Focus points and convergent process operators: A proof strategy for protocol verification
• Equivalence of recursive specifications in process algebra
• Computable processes and bisimulation equivalence
• Decidability of bisimulation equivalence for process generating context-free languages
• Process algebra for synchronous communication
• Process Algebra
• Algebraic Specification of Communication Protocols
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Linearization in parallel pCRL