The following pages link to Maurizio Murgia (Q347373):
Displayed 11 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- Compliance and Subtyping in Timed Session Types (Q2827456) (← links)
- Modelling and Verifying Contract-Oriented Systems in Maude (Q2945134) (← links)
- (Q4596804) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- (Q5028430) (← links)
- (Q5028478) (← links)
- Asynchronous timed session types. From duality to time-sensitive processes (Q6070798) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)