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

@@ 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/11888116_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1583751030
@@ Property / OpenAlex ID: W1583751030 / rank @@
+Normal rank
@@ 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