Conversation types (Q615952): Difference between revisions

@@ Property / cites work @@
+A Type System for Client Progress in a Service-Oriented Calculus
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+Q3601412
@@ Property / cites work: Q3601412 / rank @@
+Normal rank
@@ Property / cites work @@
+Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
+Normal rank
@@ Property / cites work @@
+Spatial-behavioral types for concurrency and resource control in distributed systems
+Normal rank
@@ Property / cites work @@
+Conversation Types
@@ Property / cites work: Conversation Types / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+Types as models
@@ Property / cites work: Types as models / 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 @@
+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 @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+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 @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+The Conversation Calculus: A Model of Service-Oriented Computation
+Normal rank