Progress as Compositional Lock-Freedom
Open Access
- 1 January 2014
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Propositions as sessionsACM SIGPLAN Notices, 2012
- Fundamentals of session typesInformation and Computation, 2012
- ACM Transactions on Programming Languages and Systems, 2012
- Dynamic multirole session typesACM SIGPLAN Notices, 2011
- A Graphical Approach to Progress for Structured Communication in Web ServicesElectronic Proceedings in Theoretical Computer Science, 2010
- A hybrid type system for lock-freedom of mobile processesACM Transactions on Programming Languages and Systems, 2008
- Multiparty asynchronous session typesACM SIGPLAN Notices, 2008
- A Type System for Lock-Free ProcessesInformation and Computation, 2002
- Language primitives and type discipline for structured communication-based programmingPublished by Springer Science and Business Media LLC ,1998
- A calculus of mobile processes, IIInformation and Computation, 1992