The following pages link to Laura Bocchi (Q517048):
Displayed 16 items.
- Monitoring networks through multiparty session types (Q517050) (← links)
- From StPowla processes to SRML models (Q973047) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- The reversible temporal process language (Q2165209) (← links)
- (Q2847802) (← links)
- Timed Multiparty Session Types (Q3190133) (← links)
- A Theory of Design-by-Contract for Distributed Multiparty Interactions (Q3584928) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- (Q5129942) (← links)
- Meeting Deadlines Together (Q5357710) (← links)
- Resolving Non-determinism in Choreographies (Q5410716) (← links)
- Fundamental Approaches to Software Engineering (Q5428884) (← links)
- Attribute-based transactions in service oriented computing (Q5740634) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902545) (← links)
- Asynchronous timed session types. From duality to time-sensitive processes (Q6070798) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)