Pages that link to "Item:Q1884932"
From MaRDI portal
The following pages link to A generic type system for the pi-calculus (Q1884932):
Displayed 6 items.
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- A new type system for JVM lock primitives (Q949169) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)