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

(7)

• Static versus dynamic reversibility in CCS
• Static VS Dynamic Reversibility in CCS
• Towards a Truly Concurrent Semantics for Reversible CCS
• scientific article; zbMATH DE number 5181778 (Why is no real title available?)
• Forward-reverse observational equivalences in CCSK
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• Modeling and verification of reconfigurable printing system based on process algebra

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)