Applied Choreographies (Q5881532): Difference between revisions

@@ Property / cites work @@
+Deadlock-freedom-by-design
@@ Property / cites work: Deadlock-freedom-by-design / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding choreography realizability
@@ Property / cites work: Deciding choreography realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Choreographies, logically
@@ Property / cites work: Choreographies, logically / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty session types as coherence proofs
@@ Property / cites work: Multiparty session types as coherence proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / 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 @@
+Compositional Choreographies
@@ Property / cites work: Compositional Choreographies / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
+Normal rank
@@ Property / cites work @@
+Q2980982
@@ Property / cites work: Q2980982 / rank @@
+Normal rank