Linearization in parallel pCRL

DOI10.1016/S1567-8326(01)00005-4MaRDI QIDQ5946027zbMATH OpenOpenAlexFDO

Authors Jan Friso Groote, Alban Ponse, Y. S. Usenko

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)

Recommendations

• Linearization of CIF through SOS
• A Process-Model for Linear Programs
• scientific article; zbMATH DE number 1796138
• scientific article; zbMATH DE number 125887
• Linear Logic as CSP

Cites work

• A complete inference system for a class of regular behaviours
• Algebraic solutions to recursion schemes
• Algebraic Specification of Communication Protocols
• Computable processes and bisimulation equivalence
• Decidability of bisimulation equivalence for process generating context-free languages
• Equivalence of recursive specifications in process algebra
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Focus points and convergent process operators: A proof strategy for protocol verification
• scientific article; zbMATH DE number 4157900 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 683363 (Why is no real title available?)
• scientific article; zbMATH DE number 1142319 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• Process Algebra
• Process algebra for synchronous communication

Cited in

(13)

• Focus points and convergent process operators: A proof strategy for protocol verification
• Equivalence of recursive specifications in process algebra
• Linearization of hybrid processes
• Linear forwarders
• Linearized inversion: a significant step beyond pre-stack migration
• State space reduction of linear processes using control flow reconstruction
• On the Use of Linear Combination in PWCP-Nets
• Linearization of CIF through SOS
• A case in point: verification and testing of a EULYNX interface
• 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 CRL
• Revisiting sequential composition in process calculi

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Linearization in parallel pCRL

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