Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Padovani13A (In proceedings)
Author(s) Luca Padovani
Title« From Lock Freedom to Progress Using Session Types »
InProceedings of Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13)
SeriesEPTCS
Volume137
Page(s)3-19
Year2013
PublisherOpen Publishing Association
URLhttp://www.di.unito.it/~padovani/Papers/LockFreedomGlobalProgressFull.pdf
Abstract
Inspired by Kobayashi's type system for lock freedom, we define a behavioral type system for ensuring progress in a language of binary sessions. The key idea is to annotate actions in session types with priorities representing the urgency with which such actions must be performed and to verify that processes perform such actions with the required priority. Compared to related systems for session-based languages, the presented type system is relatively simpler and establishes progress for a wider range of processes.

BibTeX code

@inproceedings{Padovani13A,
  volume = {137},
  author = {Luca Padovani},
  series = {EPTCS},
  booktitle = {Proceedings of Workshop on Programming Language Approaches to
               Concurrency and Communication-cEntric Software (PLACES'13)},
  url = {http://www.di.unito.it/~padovani/Papers/LockFreedomGlobalProgressFull.pdf},
  abstract = { Inspired by Kobayashi's type system for lock freedom, we define a
              behavioral type system for ensuring progress in a language of
              binary sessions. The key idea is to annotate actions in session
              types with priorities representing the urgency with which such
              actions must be performed and to verify that processes perform
              such actions with the required priority. Compared to related
              systems for session-based languages, the presented type system is
              relatively simpler and establishes progress for a wider range of
              processes. },
  title = {{From Lock Freedom to Progress Using Session Types}},
  publisher = {Open Publishing Association},
  year = {2013},
  pages = {3-19},
  doi = {10.4204/EPTCS.137.2},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!