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