Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521): Difference between revisions

@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+A Sound Algorithm for Asynchronous Session Subtyping
+Normal rank
@@ Property / cites work @@
+On the boundary between decidability and undecidability of asynchronous session subtyping
+Normal rank
@@ Property / cites work @@
+On Global Types and Multi-Party Session
@@ Property / cites work: On Global Types and Multi-Party Session / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+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 @@
+Q5278078
@@ Property / cites work: Q5278078 / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction in a Subtyped pi-Calculus with Linear Types
+Normal rank
@@ Property / cites work @@
+Q5275396
@@ Property / cites work: Q5275396 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
+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 @@
+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 @@
+Precise subtyping for synchronous multiparty sessions
+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 @@
+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 @@
+Q5089276
@@ Property / cites work: Q5089276 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Undecidability of Asynchronous Session Subtyping
+Normal rank
@@ Property / cites work @@
+Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
+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 @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty session types, beyond duality
@@ Property / cites work: Multiparty session types, beyond duality / rank @@
+Normal rank