Pages that link to "Item:Q1884932"
From MaRDI portal
The following pages link to A generic type system for the pi-calculus (Q1884932):
Displaying 27 items.
- An algebra of behavioural types (Q418153) (← links)
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← 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)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- A new type system for JVM lock primitives (Q949169) (← links)
- An interpretation of typed objects into typed \(\pi\)-calculus (Q1271311) (← links)
- Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- System F-omega with equirecursive types for datatype-generic programming (Q2828241) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
- (Q4417854) (← links)
- (Q4417898) (← links)
- (Q5129942) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)
- A generic type system for higher-order \(\Psi\)-calculi (Q6614878) (← links)
