Pages that link to "Item:Q347375"
From MaRDI portal
The following pages link to Verifiable abstractions for contract-oriented systems (Q347375):
Displaying 5 items.
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- Honesty by Typing (Q2974791) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
