The following pages link to CONCUR 2005 – Concurrency Theory (Q5897497):
Displaying 43 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Distinguishing between communicating transactions (Q1706141) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Simulating reversible computation with reaction systems (Q1982972) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Self-assembling Trees (Q2866313) (← links)
- General Reversibility (Q2866345) (← links)
- A Static Analysis for Beta-Binders (Q2870298) (← links)
- Controlling Reversibility in Higher-Order Pi (Q3090837) (← links)
- Static VS Dynamic Reversibility in CCS (Q3186583) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- (Q3384917) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- (Q5028420) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5089270) (← links)
- (Q5089300) (← links)
- (Q5129948) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Control Flow Analysis for Brane Calculi (Q5179425) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- Operational Semantics of Reversibility in Process Algebra (Q5262973) (← links)
- Control Flow Analysis of Generalised Boolean Networks (Q5404092) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
