Pages that link to "Item:Q1399972"
From MaRDI portal
The following pages link to Typing correspondence assertions for communication protocols (Q1399972):
Displaying 10 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)
- Formal Analysis of Dynamic, Distributed File-System Access Controls (Q3613061) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks (Q5179206) (← links)
