The following pages link to PIPER (Q23420):
Displayed 28 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)
- 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)
- 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)
- On projecting processes into session types (Q2883119) (← links)
- The type discipline of behavioral separation (Q2931803) (← links)
- Modular session types for objects (Q3460414) (← links)
- A Hybrid Type System for Lock-Freedom of Mobile Processes (Q3512484) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- (Q4439554) (← links)
- Correspondence assertions for process synchronization in concurrent communications (Q4676156) (← links)
- (Q4804894) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)
- Types as models (Q5178897) (← links)
- Foundations of Software Science and Computation Structures (Q5308470) (← links)
- Programming Languages and Systems (Q5316577) (← links)
- A Calculus for Orchestration of Web Services (Q5756484) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902543) (← links)