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
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129514000164
+Normal rank
@@ Property / OpenAlex ID @@
+W2135716933
@@ Property / OpenAlex ID: W2135716933 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5741561