Deciding Substitutability of Services with Operating Guidelines (Q3623825): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1541897457
@@ Property / OpenAlex ID: W1541897457 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Substitutability of Services with Operating Guidelines
+Normal rank
@@ Property / cites work @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / cites work @@
+Operating Guidelines for Finite-State Services
@@ Property / cites work: Operating Guidelines for Finite-State Services / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247291
@@ Property / cites work: Q4247291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Can I find a partner? Undecidability of partner existence for open nets
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Contract Based Multi-party Service Composition
@@ Property / cites work: Contract Based Multi-party Service Composition / 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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank
@@ Property / cites work @@
+Inheritance of workflows: An approach to tackling problems related to change
+Normal rank
@@ Property / cites work @@
+A Behavioural Congruence for Web Services
@@ Property / cites work: A Behavioural Congruence for Web Services / rank @@
+Normal rank