Pages that link to "Item:Q2811923"
From MaRDI portal
The following pages link to Automata for Analysing Service Contracts (Q2811923):
Displaying 6 items.
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- Orchestrated session compliance (Q347361) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Automata for Analysing Service Contracts (Q2811923) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods (Q3460868) (← links)
