Q2974797 (Q2974797): Difference between revisions

@@ Property / describes a project that uses @@
+Links
@@ Property / describes a project that uses: Links / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Xtext
@@ Property / describes a project that uses: Xtext / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AIOCJ
@@ Property / describes a project that uses: AIOCJ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09067
@@ Property / arXiv ID: 1611.09067 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding choreography realizability
@@ Property / cites work: Deciding choreography realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908863
@@ Property / cites work: Q2908863 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+Structured Interactional Exceptions in Session Types
+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 @@
+DSOL: a declarative approach to self-adaptive service orchestrations
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Choreographies
@@ Property / cites work: Compositional Choreographies / rank @@
+Normal rank
@@ Property / cites work @@
+From sequential programs to multi-tier applications by program transformation
+Normal rank
@@ Property / cites work @@
+Placement Inference for a Client-Server Calculus
@@ Property / cites work: Placement Inference for a Client-Server Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2974797