Deadlock and lock freedom in the linear π-calculus
DOI10.1145/2603088.2603116zbMATH Open1392.68311OpenAlexW2085243417MaRDI QIDQ4635657FDOQ4635657
Publication date: 23 April 2018
Published in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2318/153607
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (25)
- Probabilistic Analysis of Binary Sessions
- Fair termination of multiparty sessions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Session-based concurrency in Maude: executable semantics and type checking
- Prioritise the best variation
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude
- Global types with internal delegation
- Session coalgebras: a coalgebraic view on session types and communication protocols
- Comparing type systems for deadlock freedom
- Title not available (Why is that?)
- Deadlock analysis of unbounded process networks
- Title not available (Why is that?)
- A logical account of subtyping for session types
- Combining behavioural types with security analysis
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Deadlock freedom for asynchronous and cyclic process networks
- Session types revisited
- Composition and decomposition of multiparty sessions
- Conflation Confers Concurrency
- Title not available (Why is that?)
- Separating Lock-Freedom from Wait-Freedom
- A Gentle Introduction to Multiparty Asynchronous Session Types
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- Separating Sessions Smoothly
This page was built for publication: Deadlock and lock freedom in the linear π-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635657)
