CONCUR 2004 - Concurrency Theory
From MaRDI portal
Publication:5311480
DOI10.1007/b100113zbMath1099.68066OpenAlexW2499482941MaRDI QIDQ5311480
Publication date: 23 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100113
Related Items
Reversibility in the higher-order \(\pi\)-calculus ⋮ Reversibility in session-based concurrency: a fresh look ⋮ Towards Bridging Time and Causal Reversibility ⋮ From reversible programs to univalent universes and back ⋮ Reversible client/server interactions ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ Rigid Families for the Reversible $$\pi $$ -Calculus ⋮ A Calculus for Local Reversibility ⋮ Static VS Dynamic Reversibility in CCS ⋮ Reversing Single Sessions ⋮ Reversible Computation vs. Reversibility in Petri Nets ⋮ Controlled reversibility in communicating reaction systems ⋮ Reversing algebraic process calculi ⋮ Contextual equivalences in configuration structures and reversibility ⋮ The reversible temporal process language ⋮ Applying Reversibility Theory for the Performance Evaluation of Reversible Computations ⋮ Reversible computation in nets with bonds ⋮ Quantitative Analysis of Concurrent Reversible Computations ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Reversibility and asymmetric conflict in event structures ⋮ Reverse bisimilarity vs. forward bisimilarity ⋮ Fundamentals of reversible flowchart languages ⋮ Towards a categorical representation of reversible event structures ⋮ Event-Based Service Coordination ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ 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 ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ An axiomatic approach to reversible computation ⋮ Unnamed Item ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reversible session-based pi-calculus ⋮ Mutual exclusion and reversibility in reaction systems ⋮ Simulating reversible computation with reaction systems ⋮ Reversible computation in nature inspired rule-based systems ⋮ Emergence of universal global behavior from reversible local transitions in asynchronous systems ⋮ 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 ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A theory of reversibility for Erlang ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Controlling Reversibility in Higher-Order Pi ⋮ Towards Modelling of Local Reversibility ⋮ Unnamed Item ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization ⋮ Reversible Imperative Parallel Programs and Debugging ⋮ Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications ⋮ Processes against tests: on defining contextual equivalences ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices ⋮ Concurrencies in reversible concurrent calculi ⋮ Reversibility in Erlang: imperative constructs ⋮ Towards causal-consistent reversibility of imperative concurrent programs ⋮ Relational presheaves, change of base and weak simulation ⋮ Self-assembling Trees ⋮ General Reversibility ⋮ Operational Semantics of Reversibility in Process Algebra ⋮ Reversibility and Models for Concurrency ⋮ Investigating Reversibility of Steps in Petri Nets
