The following pages link to Lending Petri Nets and Contracts (Q2948238):
Displaying 7 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Automata for Analysing Service Contracts (Q2811923) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- (Q5028437) (← links)