The following pages link to Tiziana Cimoli (Q272303):
Displaying 9 items.
- Contracts as games on event structures (Q272306) (← links)
- Compliance and Subtyping in Timed Session Types (Q2827456) (← links)
- Lending Petri Nets and Contracts (Q2948238) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- (Q4596804) (← links)
- (Q4994119) (← links)
- (Q5216081) (← links)
- Circular Causality in Event Structures (Q5259264) (← links)
- A Theory of Agreements and Protection (Q5326760) (← links)
