Global escape in multiparty sessions (Q5741561): Difference between revisions

@@ Property / cites work @@
+Q3571944
@@ Property / cites work: Q3571944 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Interactional Exceptions in Session Types
+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 @@
+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 @@
+On the expressive power of process interruption and compensation
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Formal development of reactive systems. Case study production cell
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+The Conversation Calculus: A Model of Service-Oriented Computation
+Normal rank