Pages that link to "Item:Q2497143"
From MaRDI portal
The following pages link to A type system for lock-free processes (Q2497143):
Displaying 24 items.
- Typing access control and secure information flow in sessions (Q462485) (← links)
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition (Q615893) (← links)
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Session types revisited (Q2407105) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- A Coq Library for Verification of Concurrent Programs (Q2871836) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- (Q5009447) (← links)
- (Q5013868) (← links)
- (Q5089276) (← links)
- Pict Correctness Revisited (Q5428913) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
