The following pages link to CONCUR 2004 - Concurrency Theory (Q5311480):
Displayed 30 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Reversible client/server interactions (Q315298) (← links)
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- Emergence of universal global behavior from reversible local transitions in asynchronous systems (Q507745) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- On the hierarchy of d-structures (Q523153) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- Self-assembling Trees (Q2866313) (← links)
- General Reversibility (Q2866345) (← links)
- Reversibility and Models for Concurrency (Q2871832) (← links)
- Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
- Controlling Reversibility in Higher-Order Pi (Q3090837) (← links)
- Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Static VS Dynamic Reversibility in CCS (Q3186583) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Applying Reversibility Theory for the Performance Evaluation of Reversible Computations (Q4571082) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Operational Semantics of Reversibility in Process Algebra (Q5262973) (← links)