A pi-calculus based semantics for WS-BPEL (Q861305): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2006.05.007
@@ Property / DOI: 10.1016/j.jlap.2006.05.007 / 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.2006.05.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2164226682
@@ Property / OpenAlex ID: W2164226682 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Phase Commitment Protocol in an Extended π-Calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Theoretical foundations for compensations in flow composition languages
+Normal rank
@@ Property / cites work @@
+Q4484496
@@ Property / cites work: Q4484496 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484502
@@ Property / cites work: Q4484502 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+A generic type system for the Pi-calculus
@@ Property / cites work: A generic type system for the Pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715388
@@ Property / cites work: Q4715388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847797
@@ Property / cites work: Q2847797 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59255583
@@ Property / Wikidata QID: Q59255583 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2006.05.007
@@ Property / DOI: 10.1016/J.JLAP.2006.05.007 / rank @@
+Normal rank