Pages that link to "Item:Q2902531"
From MaRDI portal
The following pages link to On the Realizability of Contracts in Dishonest Systems (Q2902531):
Displaying 7 items.
- Contracts as games on event structures (Q272306) (← links)
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Deposit contract design with relatively partially honest agents (Q1668496) (← links)
- Honesty by Typing (Q2974791) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)