The following pages link to António Ravara (Q418151):
Displaying 18 items.
- An algebra of behavioural types (Q418153) (← links)
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Communication errors in the \(\pi\)-calculus are undecidable (Q1606997) (← links)
- Behavioural types for memory and method safety in a core object-oriented language (Q2038074) (← links)
- Revisiting concurrent separation logic (Q2397039) (← links)
- Towards Static Deadlock Resolution in the $$\pi $$-Calculus (Q2830031) (← links)
- (Q2844042) (← links)
- (Q3384905) (← links)
- (Q3413374) (← links)
- Modular session types for objects (Q3460414) (← links)
- (Q4536621) (← links)
- (Q4536990) (← links)
- (Q4995157) (← links)
- (Q5019693) (← links)
- Modular session types for distributed object-oriented programming (Q5255084) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311495) (← links)
