Pages that link to "Item:Q1399972"
From MaRDI portal
The following pages link to Typing correspondence assertions for communication protocols (Q1399972):
Displaying 13 items.
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Objects and session types (Q1021571) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- A chart semantics for the pi-calculus (Q2864369) (← links)
- Specifying properties of concurrent computations in CLF (Q2871839) (← links)
- Type-Based Verification of Correspondence Assertions for Communication Protocols (Q3498440) (← links)
- Formal Analysis of Dynamic, Distributed File-System Access Controls (Q3613061) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Typing Correspondence Assertions for Communication Protocols (Q4917053) (← links)
- Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks (Q5179206) (← links)
- Typing copyless message passing (Q5891509) (← links)