The following pages link to Types as models (Q5178897):
Displayed 8 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- A new type system for JVM lock primitives (Q949169) (← links)
- Typing correspondence assertions for communication protocols (Q1399972) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)