Global progress for dynamically interleaved multiparty sessions (Q5741563): Difference between revisions

@@ Property / cites work @@
+Deadlock-freedom-by-design
@@ Property / cites work: Deadlock-freedom-by-design / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Stateful Asynchronous Properties for Distributed Programs
+Normal rank
@@ Property / cites work @@
+Synthesising Choreographies from Local Session Types
+Normal rank
@@ Property / cites work @@
+Session Types for Access and Information Flow Control
+Normal rank
@@ Property / cites work @@
+Conversation types
@@ Property / cites work: Conversation types / rank @@
+Normal rank
@@ Property / cites work @@
+Buffered Communication Analysis in Distributed Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+Nested Protocols in Session Types
@@ Property / cites work: Nested Protocols in Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous Session Types and Progress for Object Oriented Languages
+Normal rank
@@ Property / cites work @@
+Contracts for Mobile Processes
@@ Property / cites work: Contracts for Mobile Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Global Principal Typing in Partially Commutative Asynchronous Sessions
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
+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 Theory of Design-by-Contract for Distributed Multiparty Interactions
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+The Conversation Calculus: A Model of Service-Oriented Computation
+Normal rank
@@ Property / cites work @@
+A Type System for Client Progress in a Service-Oriented Calculus
+Normal rank
@@ Property / cites work @@
+Secure distributed programming with value-dependent types
+Normal rank
@@ Property / cites work @@
+Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+Dynamic multirole session types
@@ Property / cites work: Dynamic multirole session types / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Choreographies
@@ Property / cites work: Compositional Choreographies / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129514000188
+Normal rank
@@ Property / OpenAlex ID @@
+W2046488919
@@ Property / OpenAlex ID: W2046488919 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5741563