Reversibility in session-based concurrency: a fresh look (Q2360649): Difference between revisions

@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Conversation types
@@ Property / cites work: Conversation types / rank @@
+Normal rank
@@ Property / cites work @@
+Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
+Normal rank
@@ Property / cites work @@
+Global escape in multiparty sessions
@@ Property / cites work: Global escape in multiparty sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Monitors and blame assignment for higher-order session types
+Normal rank
@@ Property / cites work @@
+Reversible session-based pi-calculus
@@ Property / cites work: Reversible session-based pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965856
@@ Property / cites work: Q4965856 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-adaptation and secure information flow in multiparty communications
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Higher-Order Pi
@@ Property / cites work: Controlling Reversibility in Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+On asynchronous eventful session semantics
@@ Property / cites work: On asynchronous eventful session semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Flow models of distributed computations: Three equivalent semantics for CCS
+Normal rank
@@ Property / cites work @@
+Operational Semantics of Reversibility in Process Algebra
+Normal rank
@@ Property / cites work @@
+Static VS Dynamic Reversibility in CCS
@@ Property / cites work: Static VS Dynamic Reversibility in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the Statistical Thermodynamics of Reversible Communicating Processes
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank
@@ Property / cites work @@
+A Calculus for Local Reversibility
@@ Property / cites work: A Calculus for Local Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Single Sessions
@@ Property / cites work: Reversing Single Sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015360
@@ Property / cites work: Q5015360 / rank @@
+Normal rank
@@ Property / cites work @@
+The Pairing of Contracts and Session Types
@@ Property / cites work: The Pairing of Contracts and Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Interactional Exceptions in Session Types
+Normal rank
@@ Property / cites work @@
+Communicating Transactions
@@ Property / cites work: Communicating Transactions / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled Reversibility and Compensations
@@ Property / cites work: Controlled Reversibility and Compensations / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Flexible Reversibility
@@ Property / cites work: Concurrent Flexible Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Expressiveness of Higher-Order Session Processes
+Normal rank