A verification technique for reversible process algebra

DOI10.1007/978-3-642-36315-3_17MaRDI QIDQ3453753zbMATH OpenOpenAlexFDO

Authors Jean Krivine

Publication date 30 November 2015

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36315-3_17

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) 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

• Algebraic process verification.
• Automatic verification of distributed systems: the process algebra approach.
• scientific article; zbMATH DE number 1533829
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 1746446

Cites work

• Controlling Reversibility in Higher-Order Pi
• Event structure semantics of parallel extrusion in the pi-calculus
• Reversibility and models for concurrency
• Reversing Higher-Order Pi
• Self-assembling trees
• Typed event structures and the linear \(\pi \)-calculus
• Well-behaved flow event structures for parallel composition and action refinement

Cited in

(12)

• Modeling and verification of reconfigurable printing system based on process algebra
• Static versus dynamic reversibility in CCS
• Static VS Dynamic Reversibility in CCS
• Towards a Truly Concurrent Semantics for Reversible CCS
• Forward-reverse observational equivalences in CCSK
• scientific article; zbMATH DE number 5181778 (Why is no real title available?)
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• Causal reversibility in nondeterministic process calculi extended with time or probabilities
• Alternative characterizations of hereditary history-preserving bisimilarity via backward ready multisets
• Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings
• Reversibility in process calculi with nondeterminism and probabilities
• A truly concurrent semantics for reversible CCS

This page was built for publication: A verification technique for reversible process algebra

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