Pages that link to "Item:Q3460865"
From MaRDI portal
The following pages link to Compliance in Behavioural Contracts: A Brief Survey (Q3460865):
Displaying 6 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Honesty by Typing (Q2974791) (← links)
- Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods (Q3460868) (← links)
- (Q5114827) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
