Linearization in parallel pCRL
From MaRDI portal
Publication:5946027
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
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
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