Pages that link to "Item:Q2871832"

The following pages link to Reversibility and Models for Concurrency (Q2871832):

Displaying 21 items.

• Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
• Emergence of universal global behavior from reversible local transitions in asynchronous systems (Q507745) (← links)
• Static versus dynamic reversibility in CCS (Q2022303) (← links)
• Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
• Processes against tests: on defining contextual equivalences (Q2079681) (← links)
• Concurrencies in reversible concurrent calculi (Q2097423) (← links)
• Controlled reversibility in communicating reaction systems (Q2152435) (← links)
• An axiomatic approach to reversible computation (Q2200840) (← links)
• Towards a categorical representation of reversible event structures (Q2423742) (← links)
• A hierarchy of reverse bisimulations on stable configuration structures (Q2883121) (← links)
• Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
• A Verification Technique for Reversible Process Algebra (Q3453753) (← links)
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
• (Q5089270) (← links)
• (Q5129948) (← links)
• Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
• Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
• Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
• The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
• Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)