Reversing Single Sessions (Q3186584): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2238097345
@@ Property / OpenAlex ID: W2238097345 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07253
@@ Property / arXiv ID: 1510.07253 / rank @@
+Normal rank
@@ Property / cites work @@
+Sub-behaviour relations for session-based client/server systems
+Normal rank
@@ Property / cites work @@
+Minimal and Optimal Computations of Recursive Programs
+Normal rank
@@ Property / cites work @@
+Asynchronous Session Types and Progress for Object Oriented Languages
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Globally Governed Session Semantics
@@ Property / cites work: Globally Governed Session Semantics / rank @@
+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 @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible session-based pi-calculus
@@ Property / cites work: Reversible session-based pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Single Sessions
@@ Property / cites work: Reversing Single Sessions / rank @@
+Normal rank