Session types for safe web service orchestration (Q2436511): Difference between revisions

@@ Property / describes a project that uses @@
+COWS
@@ Property / describes a project that uses: COWS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BPEL2oWFN
@@ Property / describes a project that uses: BPEL2oWFN / 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.1016/j.jlap.2013.05.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1967853162
@@ Property / OpenAlex ID: W1967853162 / rank @@
+Normal rank
@@ Property / cites work @@
+A WSDL-based type system for asynchronous WS-BPEL processes
+Normal rank
@@ Property / cites work @@
+Coordination models and languages. 10th international conference, COORDINATION 2008, Oslo, Norway, June 4--6, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+The Orc Programming Language
@@ Property / cites work: The Orc Programming Language / rank @@
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536374
@@ Property / cites work: Q4536374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413374
@@ Property / cites work: Q3413374 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Formal semantics and analysis of control flow in WS-BPEL
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / 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 @@
+A core calculus for correlation in orchestration languages
+Normal rank
@@ Property / cites work @@
+Q4965859
@@ Property / cites work: Q4965859 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+Normal rank
@@ Property / cites work @@
+The Pairing of Contracts and Session Types
@@ Property / cites work: The Pairing of Contracts and Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Can I find a partner? Undecidability of partner existence for open nets
+Normal rank