Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452): Difference between revisions

@@ Property / cites work @@
+Q2772440
@@ Property / cites work: Q2772440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / 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 strong service compliance
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+Q2848419
@@ Property / cites work: Q2848419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501674
@@ Property / cites work: Q4501674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473162
@@ Property / cites work: Q4473162 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Dynamic Condition Response Graphs
@@ Property / cites work: Nested Dynamic Condition Response Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification of declarative open interaction models. A logic-based approach
+Normal rank
@@ Property / cites work @@
+Q3152830
@@ Property / cites work: Q3152830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3357558
@@ Property / cites work: Q3357558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264237
@@ Property / cites work: Q4264237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952938
@@ Property / cites work: Q4952938 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank