Deadlock Freedom for Asynchronous and Cyclic Process Networks
- 2 October 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 347, 38-56
- https://doi.org/10.4204/eptcs.347.3
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Comparing Deadlock-Free Session Typed ProcessesElectronic Proceedings in Theoretical Computer Science, 2015
- Corecursion and Non-divergence in Session-Typed ProcessesPublished by Springer Science and Business Media LLC ,2014
- Fundamentals of session typesInformation and Computation, 2012
- Session Types as Intuitionistic Linear PropositionsLecture Notes in Computer Science, 2010
- A New Type System for Deadlock-Free ProcessesLecture Notes in Computer Science, 2006
- On the expressiveness of internal mobility in name-passing calculiTheoretical Computer Science, 1998
- Language primitives and type discipline for structured communication-based programmingPublished by Springer Science and Business Media LLC ,1998
- Types for dyadic interactionLecture Notes in Computer Science, 1993
- A calculus of mobile processes, IInformation and Computation, 1992
- Linear logicTheoretical Computer Science, 1987