On asynchronous eventful session semantics (Q5741564): Difference between revisions

@@ Property / cites work @@
+Linear Logical Relations for Session-Based Concurrency
+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 @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3571944
@@ Property / cites work: Q3571944 / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Conversation types
@@ Property / cites work: Conversation types / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Linear type theory for asynchronous session types
@@ Property / cites work: Linear type theory for asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing three semantics for Linda-like languages
+Normal rank
@@ Property / cites work @@
+Asynchronous Session Types and Progress for Object Oriented Languages
+Normal rank
@@ Property / cites work @@
+On confluence in the π-calculus
@@ Property / cites work: On confluence in the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+On the Asynchronous Nature of the Asynchronous π-Calculus
+Normal rank
@@ Property / cites work @@
+Contracts for Mobile Processes
@@ Property / cites work: Contracts for Mobile Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic typing in polymorphic languages
@@ Property / cites work: Dynamic typing in polymorphic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Session-Based Communication Optimisation for Higher-Order Mobile Processes
+Normal rank