The following pages link to Contracts, games, and refinement. (Q1854322):
Displaying 10 items.
- Contracts as games on event structures (Q272306) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Games of status and discriminatory contracts (Q1002325) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- External and internal choice with event groups in Event-B (Q1941871) (← links)
- Transactions and contracts based on reaction systems (Q2044946) (← links)
- Definable and contractible contracts (Q2859058) (← links)
- Multiple Viewpoint Contract-Based Specification and Design (Q3602999) (← links)
- (Q4222910) (← links)
- (Q5323672) (← links)