Pages that link to "Item:Q3508527"
From MaRDI portal
The following pages link to Contract Based Multi-party Service Composition (Q3508527):
Displayed 14 items.
- Contracts as games on event structures (Q272306) (← links)
- Formalisations and applications of BPMN (Q541678) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
- A theory of contracts for strong service compliance (Q3636912) (← links)
- A Relative Timed Semantics for BPMN (Q5179205) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)