Foundations of Software Science and Computation Structures

DOI10.1007/11690634MaRDI QIDQ5899092zbMATH OpenOpenAlexFDO

Authors Iain Phillips, Irek Ulidowski

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11690634

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reversing algebraic process calculi
• Operational semantics of reversibility in process algebra
• Reversibility and models for concurrency
• CONCUR 2004 - Concurrency Theory
• Reversing Higher-Order Pi

Cited in

(22)

• Reversible computation in nets with bonds
• CONCUR 2004 - Concurrency Theory
• An axiomatic approach to reversible computation
• Implementation of a reversible distributed calculus
• SOS formats and meta-theory: 20 years after
• Towards modelling of local reversibility
• Self-assembling trees
• Reversibility and models for concurrency
• A calculus for local reversibility
• Towards a categorical representation of reversible event structures
• Modelling of DNA mismatch repair with a reversible process calculus
• scientific article; zbMATH DE number 7559463 (Why is no real title available?)
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
• Reversing algebraic process calculi
• General reversibility
• Compositional reversible computation
• On reversible combinatory logic
• Processes, systems \& tests: defining contextual equivalences
• An axiomatic theory for reversible computation
• Operational semantics of reversibility in process algebra
• Processes against tests: on defining contextual equivalences

This page was built for publication: Foundations of Software Science and Computation Structures

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