Pages that link to "Item:Q5756618"
From MaRDI portal
The following pages link to A New Type System for Deadlock-Free Processes (Q5756618):
Displaying 28 items.
- Effect-polymorphic behaviour inference for deadlock checking (Q338624) (← links)
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Conversation types (Q615952) (← links)
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- Ghost signals: verifying termination of busy waiting (Q832247) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- Objects and session types (Q1021571) (← links)
- A lightweight deadlock analysis for programs with threads and reentrant locks (Q2024377) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Honesty by Typing (Q2974791) (← links)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go (Q3179284) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- (Q5009447) (← links)
- (Q5013868) (← links)
- (Q5094146) (← links)
- (Q5129942) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
- (Q5875401) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
