The following pages link to Types as models (Q5178897):
Displaying 20 items.
- An algebra of behavioural types (Q418153) (← links)
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Regular and context-free nominal traces (Q530218) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition (Q615893) (← links)
- Conversation types (Q615952) (← 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)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- Typing correspondence assertions for communication protocols (Q1399972) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- (Q5019690) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)
- A semantic model of types and machine instructions for proof-carrying code (Q5178856) (← links)
