Q5019690 (Q5019690): Difference between revisions

@@ Property / describes a project that uses @@
+FACTum
@@ Property / describes a project that uses: FACTum / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07989
@@ Property / arXiv ID: 2009.07989 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock-freedom-by-design
@@ Property / cites work: Deadlock-freedom-by-design / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination Via Types in an Event-Based Framework
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive verification of architectural design patterns in FACTum
+Normal rank
@@ Property / cites work @@
+A core model for choreographic programming
@@ Property / cites work: A core model for choreographic programming / rank @@
+Normal rank