A formal theory of choreographic programming (Q6161233): Difference between revisions

@@ Property / cites work @@
+Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6--9, 2016. Proceedings
+Normal rank
@@ Property / cites work @@
+Undecidability of asynchronous session subtyping
@@ Property / cites work: Undecidability of asynchronous session subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+On the boundary between decidability and undecidability of asynchronous session subtyping
+Normal rank
@@ Property / cites work @@
+Q5856424
@@ Property / cites work: Q5856424 / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Deadlock-freedom-by-design
@@ Property / cites work: Deadlock-freedom-by-design / rank @@
+Normal rank
@@ Property / cites work @@
+On Global Types and Multi-Party Session
@@ Property / cites work: On Global Types and Multi-Party Session / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural Choreographic Programming
@@ Property / cites work: Procedural Choreographic Programming / 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 @@
+The Paths to Choreography Extraction
@@ Property / cites work: The Paths to Choreography Extraction / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying choreography compilation
@@ Property / cites work: Certifying choreography compilation / rank @@
+Normal rank
@@ Property / cites work @@
+Q6099602
@@ Property / cites work: Q6099602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2974797
@@ Property / cites work: Q2974797 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings
+Normal rank
@@ Property / cites work @@
+Q5111454
@@ Property / cites work: Q5111454 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Undecidability of Asynchronous Session Subtyping
+Normal rank
@@ Property / cites work @@
+Discretionary Information Flow Control for Interaction-Oriented Specifications
+Normal rank
@@ Property / cites work @@
+Enforcing Availability in Failure-Aware Communicating Systems
+Normal rank
@@ Property / cites work @@
+HOCore in Coq
@@ Property / cites work: HOCore in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank