The Evolution of Jolie (Q5256366): Difference between revisions

@@ Property / describes a project that uses @@
+Scribble
@@ Property / describes a project that uses: Scribble / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-15545-6_29
+Normal rank
@@ Property / OpenAlex ID @@
+W32233327
@@ Property / OpenAlex ID: W32233327 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+A formal semantics for protocol narrations
@@ Property / cites work: A formal semantics for protocol narrations / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of Alice \& Bob specifications of security protocols
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+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 @@
+Dynamic Error Handling in Service Oriented Applications
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Choreographies
@@ Property / cites work: Compositional Choreographies / rank @@
+Normal rank