Implementation of a reversible distributed calculus

DOI10.1007/978-3-031-38100-3_13OpenAlexW4383890698MaRDI QIDQ6148123

Clément Aubert, Peter Browning

Publication date: 11 January 2024

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-38100-3_13

zbMATH Keywords

formal semanticsconcurrencyreversible computationtool implementationprocess algebra and calculi

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concurrencies in reversible concurrent calculi
• A Coq Library for Verification of Concurrent Programs
• HOCore in Coq
• The Applied Pi Calculus
• Forward-Reverse Observational Equivalences in CCSK
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computation Structures

This page was built for publication: Implementation of a reversible distributed calculus