Pages that link to "Item:Q2497143"
From MaRDI portal
The following pages link to A type system for lock-free processes (Q2497143):
Displaying 31 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)
- A new linear logic for deadlock-free session-typed processes (Q1652969) (← 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)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5013868) (← links)
- (Q5089276) (← links)
- Pict Correctness Revisited (Q5428913) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900554) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- A logical account of subtyping for session types (Q6615560) (← links)
- Partially typed multiparty sessions with internal delegation (Q6643472) (← links)
