Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1016/j.jlap.2013.05.005 / rank | |||
| Property / cites work | |||
| Property / cites work: Q2772440 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4038702 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Contract Based Multi-party Service Composition / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A theory of contracts for strong service compliance / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Structured Communication-Centred Programming for Web Services / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2848419 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4501674 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4473162 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Nested Dynamic Condition Response Graphs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Fundamental Approaches to Software Engineering / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Specification and verification of declarative open interaction models. A logic-based approach / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3152830 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3357558 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4264237 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4952938 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Notes on finite asynchronous automata / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1016/J.JLAP.2013.05.005 / rank | |||
Normal rank | |||
Latest revision as of 15:31, 18 December 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Contracts for cross-organizational workflows as timed dynamic condition response graphs |
scientific article |
Statements
Contracts for cross-organizational workflows as timed dynamic condition response graphs (English)
0 references
25 February 2014
0 references
time
0 references
contracts
0 references
declarative process models
0 references
cross-organizational workflow
0 references
safety
0 references
liveness
0 references
0 references
