A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383): Difference between revisions

@@ Property / cites work @@
+Realizability and verification of MSC graphs
@@ Property / cites work: Realizability and verification of MSC graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Trace and testing equivalence on asynchronous processes
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+Conversation types
@@ Property / cites work: Conversation types / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Communication-Centred Programming
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Finite-State Machines with Guaranteed Progress
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+A pi-calculus based semantics for WS-BPEL
@@ Property / cites work: A pi-calculus based semantics for WS-BPEL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532084
@@ Property / cites work: Q4532084 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Testability Theory
@@ Property / cites work: A General Testability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathcal {HOTL}\): Hypotheses and observations testing logic
+Normal rank
@@ Property / cites work @@
+A Petri net approach for the design and analysis of web services choreographies
+Normal rank
@@ Property / cites work @@
+A barred operational semantics for a subset of WS-CDL with time restrictions
+Normal rank