Pages that link to "Item:Q4621158"
From MaRDI portal
The following pages link to Contract-Oriented Computing in CO2 (Q4621158):
Displaying 7 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)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Automata for Analysing Service Contracts (Q2811923) (← links)
- Dynamic Overlay Single-Domain Contracting for End-to-End Contract Switching (Q2997799) (← links)
- Services and Contracts: Coalgebraically (Q5415620) (← links)