Pages that link to "Item:Q3100198"
From MaRDI portal
The following pages link to Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198):
Displaying 16 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Certifying data in multiparty session types (Q2360653) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- On session types and polynomial time (Q2971079) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- Certifying Data in Multiparty Session Types (Q3188299) (← links)
- (Q5020946) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5875401) (← links)
- Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Q5881535) (← links)
