Algebraic process verification.

MaRDI QIDQ2760254zbMATH OpenFDO

Authors Jan Friso Groote, Michel A. Reniers

Publication date 2001

zbMATH Keywords

process algebratree identify protocolline interface protocol

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Automatic verification of distributed systems: the process algebra approach.
• Focus points and convergent process operators: A proof strategy for protocol verification
• scientific article; zbMATH DE number 3958712
• A computer checked algebraic verification of a distributed summation algorithm
• scientific article; zbMATH DE number 5181778

Cited in

(32)

• A verification technique for reversible process algebra
• Automatic verification of distributed systems: the process algebra approach.
• A computer checked algebraic verification of a distributed summation algorithm
• scientific article; zbMATH DE number 4092735 (Why is no real title available?)
• Verifying an infinite systolic algorithm using third-order equational methods
• Generalizing DPLL and satisfiability for equalities
• On process equivalence = equation solving in CCS
• Dynamic consistency in process algebra: from paradigm to ACP
• On the expressiveness of choice quantification
• Algebraic verification method for SEREs properties via Groebner bases approaches
• Cones and foci: A mechanical framework for protocol verification
• scientific article; zbMATH DE number 1746446 (Why is no real title available?)
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• Model checking a cache coherence protocol of a Java DSM implementation
• Focus points and convergent process operators: A proof strategy for protocol verification
• Hybrid process algebra
• Axiomatizing recursion-free, regular monitors
• From CRL to mCRL2: motivation and outline
• A brief history of process algebra
• On the usability of process algebra: An architectural view
• A Context-Free Process as a Pushdown Automaton
• Multiparty contract signing over a reliable network
• An algebraic reasoning approach for verifying the behavior of software evolution processes
• Parameterised Boolean equation systems
• Refined Interfaces for Compositional Verification
• scientific article; zbMATH DE number 5181778 (Why is no real title available?)
• A Framework for Automatically Checking Anonymity with μCRL
• Dynamic consistency in process algebra: from paradigm to ACP
• Relating hybrid chi to other formalisms
• Five Determinisation Algorithms
• Process-algebraic approaches for multi-agent systems: an overview
• Discretization of timed automata in timed CRL à la regions and zones

This page was built for publication: Algebraic process verification.

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