Precise subtyping for synchronous multiparty sessions (Q2423747): Difference between revisions

@@ Property / cites work @@
+Sub-behaviour relations for session-based client/server systems
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+A Semantic Deconstruction of Session Types
@@ Property / cites work: A Semantic Deconstruction of Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Using higher-order contracts to model session types
+Normal rank
@@ Property / cites work @@
+Undecidability of asynchronous session subtyping
@@ Property / cites work: Undecidability of asynchronous session subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+On the boundary between decidability and undecidability of asynchronous session subtyping
+Normal rank
@@ Property / cites work @@
+Semantic subtyping for the pi-calculus
@@ Property / cites work: Semantic subtyping for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278078
@@ Property / cites work: Q5278078 / rank @@
+Normal rank
@@ Property / cites work @@
+A Gentle Introduction to Multiparty Asynchronous Session Types
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Full Abstraction in a Subtyped pi-Calculus with Linear Types
+Normal rank
@@ Property / cites work @@
+Parameterised Multiparty Session Types
@@ Property / cites work: Parameterised Multiparty Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+A Filter Model for Concurrent $\lambda$-Calculus
@@ Property / cites work: A Filter Model for Concurrent $\lambda$-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Preciseness of Subtyping on Intersection and Union Types
+Normal rank
@@ Property / cites work @@
+Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday
+Normal rank
@@ Property / cites work @@
+Semantic subtyping
@@ Property / cites work: Semantic subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping Supports Safe Session Substitution
@@ Property / cites work: Subtyping Supports Safe Session Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness theorem for typing lambda-terms
@@ Property / cites work: The completeness theorem for typing lambda-terms / 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 @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models
+Normal rank
@@ Property / cites work @@
+Globally Governed Session Semantics
@@ Property / cites work: Globally Governed Session Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Globally Governed Session Semantics
@@ Property / cites work: Globally Governed Session Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Undecidability of Asynchronous Session Subtyping
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Global Principal Typing in Partially Commutative Asynchronous Sessions
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised Multiparty Session Types
@@ Property / cites work: Parameterised Multiparty Session Types / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128674052
@@ Property / Wikidata QID: Q128674052 / rank @@
+Normal rank