The following pages link to Bernardo Toninho (Q476189):
Displayed 18 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Depending on session-typed processes (Q1652972) (← links)
- On polymorphic sessions and functions. A tale of two (fully abstract) encodings (Q2324009) (← links)
- Certifying data in multiparty session types (Q2360653) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Linear Logical Relations for Session-Based Concurrency (Q2892750) (← links)
- Functions as Session-Typed Processes (Q2892782) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- Certifying Data in Multiparty Session Types (Q3188299) (← links)
- (Q4649549) (← links)
- (Q5009447) (← links)
- Behavioral Polymorphism and Parametricity in Session-Based Communication (Q5326294) (← links)
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration (Q5326295) (← links)
- Fencing off go: liveness and safety for channel-based programming (Q5370909) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- (Q5875401) (← links)
- Manifest deadlock-freedom for shared session types (Q6070799) (← links)