Reversible communicating systems
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A theory of reversibility for Erlang
- On reversibility and broadcast
- Mutual exclusion and reversibility in reaction systems
- Simulating reversible computation with reaction systems
- Reversible computation in nature inspired rule-based systems
- Static versus dynamic reversibility in CCS
- Processes against tests: on defining contextual equivalences
- Concurrencies in reversible concurrent calculi
- Reversibility in Erlang: imperative constructs
- Towards causal-consistent reversibility of imperative concurrent programs
- From reversible programs to univalent universes and back
- Modelling of DNA mismatch repair with a reversible process calculus
- Controlled reversibility in communicating reaction systems
- The reversible temporal process language
- An axiomatic approach to reversible computation
- Specifying reversibility with \(\mathrm{TLA}^+\)
- A parametric framework for reversible \(\pi\)-calculi
- Reversible sessions with flexible choices
- Relational presheaves, change of base and weak simulation
- Reversibility in session-based concurrency: a fresh look
- Towards a categorical representation of reversible event structures
- Reversing algebraic process calculi
- Reversibility in the higher-order \(\pi\)-calculus
- Reversible computation in nets with bonds
- A collective interpretation semantics for reversing Petri nets
- Towards modelling of local reversibility
- Self-assembling trees
- General reversibility
- Reversibility and models for concurrency
- Quantitative Analysis of Concurrent Reversible Computations
- Controlling Reversibility in Higher-Order Pi
- Reversible client/server interactions
- Rigid families for the reversible -calculus
- A calculus for local reversibility
- Static VS Dynamic Reversibility in CCS
- Reversing single sessions
- Reversible computation vs. reversibility in Petri nets
- Reversing parallel programs with blocks and procedures
- scientific article; zbMATH DE number 7447776 (Why is no real title available?)
- scientific article; zbMATH DE number 5595793 (Why is no real title available?)
- A verification technique for reversible process algebra
- Contextual equivalences in configuration structures and reversibility
- Event-Based Service Coordination
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Applying reversibility theory for the performance evaluation of reversible computations
- Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
- Reversible session-based pi-calculus
- Causal-consistent replay reversible semantics for message passing concurrent programs
- Reversible multiparty sessions with checkpoints
- Investigating reversibility of steps in Petri nets
- scientific article; zbMATH DE number 7471661 (Why is no real title available?)
- Towards bridging time and causal reversibility
- Emergence of universal global behavior from reversible local transitions in asynchronous systems
- scientific article; zbMATH DE number 7559463 (Why is no real title available?)
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
- Concurrent reversible sessions
- Reversing place transition nets
- Causal-consistent rollback in a tuple-based language
- Causal-Consistent Debugging of Distributed Erlang Programs
- Towards a Truly Concurrent Semantics for Reversible CCS
- Forward-reverse observational equivalences in CCSK
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- On the hierarchy of d-structures
- Characterizing Compatible View Updates in Syntactic Bidirectionalization
- Reversible Imperative Parallel Programs and Debugging
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- Operational semantics of reversibility in process algebra
- Sistemi A Trasformazioni Reversibili
- Foundations of Software Science and Computation Structures
- Event structure semantics of (controlled) reversible CCS
- Event structure semantics of (controlled) reversible CCS
- Event structures for the reversible early internal \(\pi\)-calculus
- Reverse bisimilarity vs. forward bisimilarity
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Reversing Steps in Petri Nets
- Reversing Unbounded Petri Nets
- Replications in reversible concurrent calculi
- Towards a taxonomy for reversible computation approaches
- Implementation of a reversible distributed calculus
- revTPL: The Reversible Temporal Process Language
- Token multiplicity in reversing Petri nets under the individual token interpretation
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives
- An axiomatic theory for reversible computation
- Branching bisimulation semantics enables noninterference analysis of reversible systems
- Relating reversible Petri nets and reversible event structures, categorically
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Causal reversibility implies time reversibility
- Store locally, prove globally
- Causal debugging for concurrent systems
- Compositional reversible computation
- Reversibility with holes (work in progress)
- A small-step semantics for Janus
- Model checking reversible systems: forwardly
- Processes, systems \& tests: defining contextual equivalences
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- Alternative characterizations of hereditary history-preserving bisimilarity via backward ready multisets
- RevMiGo: reversible channel-based communication in Go language
- Independence and causality in the reversible concurrent setting
- Tallulah, a tool to support the axiomatic approach to causal-consistent reversibility
- Proof-relevant -calculus
This page was built for publication: Reversible communicating systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311480)
