Pages that link to "Item:Q3100198"

The following pages link to Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198):

Displayed 17 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)
• The different shades of infinite session types (Q6141781) ‎ (← links)