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

@@ Property / DOI @@
-.1016/j.jlap.2013.05.005
@@ Property / DOI: 10.1016/j.jlap.2013.05.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2013.05.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2110279509
@@ Property / OpenAlex ID: W2110279509 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.JLAP.2013.05.005
@@ Property / DOI: 10.1016/J.JLAP.2013.05.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2436452