Branching Pomsets for Choreographies (Q6122640): Difference between revisions

@@ Property / cites work @@
+Realizability and verification of MSC graphs
@@ Property / cites work: Realizability and verification of MSC graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock-freedom-by-design
@@ Property / cites work: Deadlock-freedom-by-design / rank @@
+Normal rank
@@ Property / cites work @@
+Event structure semantics for multiparty sessions
@@ Property / cites work: Event structure semantics for multiparty sessions / rank @@
+Normal rank
@@ Property / cites work @@
+A core model for choreographic programming
@@ Property / cites work: A core model for choreographic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Realisability of pomsets
@@ Property / cites work: Realisability of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with action dependencies
@@ Property / cites work: Process algebra with action dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank