Pages that link to "Item:Q272306"
From MaRDI portal
The following pages link to Contracts as games on event structures (Q272306):
Displaying 5 items.
- Orchestrated session compliance (Q347361) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Transactions and contracts based on reaction systems (Q2044946) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
