Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(41)- Replication, refinement \& reachability: complexity in dynamic condition-response graphs
- On reversibility and broadcast
- Checkpoint/rollback vs causally-consistent reversibility
- Static versus dynamic reversibility in CCS
- Processes against tests: on defining contextual equivalences
- Concurrencies in reversible concurrent calculi
- Specifying reversibility with \(\mathrm{TLA}^+\)
- Reversible sessions with flexible choices
- Reversibility in session-based concurrency: a fresh look
- 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
- Quantitative Analysis of Concurrent Reversible Computations
- Semantics of concurrent revisions
- Static VS Dynamic Reversibility in CCS
- scientific article; zbMATH DE number 7447776 (Why is no real title available?)
- Reversibility in massive concurrent systems
- Reversible multiparty sessions with checkpoints
- Towards bridging time and causal reversibility
- Causal-consistent rollback in a tuple-based language
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- Reversibility and Predictions
- Modular rollback through control logging: a pair of twin functional pearls
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Towards a taxonomy for reversible computation approaches
- On system rollback and totalized fields: an algebraic approach to system change
- Branching bisimulation semantics enables noninterference analysis of reversible systems
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Causal reversibility implies time reversibility
- A reversible perspective on Petri nets and event structures
- Model checking reversible systems: forwardly
- Processes, systems \& tests: defining contextual equivalences
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings
- Relating reversible Petri nets and reversible event structures, categorically
- Reversibility in process calculi with nondeterminism and probabilities
- Noninterference analysis of reversible systems: an approach based on branching bisimilarity
- Checkpoint-based rollback recovery in session programming
- Reversibility and asymmetric conflict in event structures
This page was built for publication: Concurrent flexible reversibility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326296)
