Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMath1180.68197OpenAlexW2504714231MaRDI QIDQ5899092

Irek Ulidowski, Iain Phillips

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)

Related Items (16)

Modelling of DNA mismatch repair with a reversible process calculus ⋮ A Calculus for Local Reversibility ⋮ Reversing algebraic process calculi ⋮ SOS formats and meta-theory: 20 years after ⋮ Reversible computation in nets with bonds ⋮ Towards a categorical representation of reversible event structures ⋮ Implementation of a reversible distributed calculus ⋮ An axiomatic approach to reversible computation ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Unnamed Item ⋮ Towards Modelling of Local Reversibility ⋮ Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications ⋮ Processes against tests: on defining contextual equivalences ⋮ Self-assembling Trees ⋮ General Reversibility ⋮ Reversibility and Models for Concurrency

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