Analysis of Realizability Conditions for Web Service Choreographies (Q3613058): Difference between revisions

@@ Property / Wikidata QID @@
+Q59702077
@@ Property / Wikidata QID: Q59702077 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Realizability Conditions for Web Service Choreographies
+Normal rank
@@ Property / cites work @@
+Conversation protocols: a formalism for specification and verification of reactive electronic services
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847798
@@ Property / cites work: Q2847798 / rank @@
+Normal rank