Q5129942 (Q5129942): Difference between revisions

@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+A Theory of Design-by-Contract for Distributed Multiparty Interactions
+Normal rank
@@ Property / cites work @@
+Resolving Non-determinism in Choreographies
@@ Property / cites work: Resolving Non-determinism in Choreographies / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of contracts for strong service compliance
+Normal rank
@@ Property / cites work @@
+Conversation Types
@@ Property / cites work: Conversation Types / rank @@
+Normal rank
@@ Property / cites work @@
+Information flow safety in multiparty sessions
@@ Property / cites work: Information flow safety in multiparty sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock-freedom-by-design
@@ Property / cites work: Deadlock-freedom-by-design / rank @@
+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 @@
+Contracts for Mobile Processes
@@ Property / cites work: Contracts for Mobile Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Self-adaptation and secure information flow in multiparty communications
+Normal rank
@@ Property / cites work @@
+Specifying Stateful Asynchronous Properties for Distributed Programs
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Q2974797
@@ Property / cites work: Q2974797 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+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 @@
+Q5216330
@@ Property / cites work: Q5216330 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+A generic type system for the pi-calculus
@@ Property / cites work: A generic type system for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based information flow analysis for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A New Type System for Deadlock-Free Processes
@@ Property / cites work: A New Type System for Deadlock-Free Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesising Choreographies from Local Session Types
+Normal rank
@@ Property / cites work @@
+From Communicating Machines to Graphical Choreographies
+Normal rank
@@ Property / cites work @@
+Discretionary Information Flow Control for Interaction-Oriented Specifications
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair subtyping for multi-party session types
@@ Property / cites work: Fair subtyping for multi-party session types / rank @@
+Normal rank