Pages that link to "Item:Q5326760"
From MaRDI portal
The following pages link to A Theory of Agreements and Protection (Q5326760):
Displaying 8 items.
- Contracts as games on event structures (Q272306) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- On the dynamics of institutional agreements (Q970091) (← 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)
- (Q3793710) (← links)