The following pages link to Luís Caires (Q476187):
Displaying 22 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Conversation types (Q615952) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Dependent Information Flow Types (Q2819817) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Information Flow Analysis for Valued-Indexed Data Security Compartments (Q2830034) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- Linear Logical Relations for Session-Based Concurrency (Q2892750) (← links)
- Functions as Session-Typed Processes (Q2892782) (← links)
- The type discipline of behavioral separation (Q2931803) (← links)
- A language for the logical specification of processes and relations (Q2956719) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Type-Based Access Control in Data-Centric Systems (Q3000577) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- (Q3396629) (← links)
- (Q4649549) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311477) (← links)
- (Q5875401) (← links)
