| Padovani13A (In proceedings)
|
| Author(s) | Luca Padovani |
| Title | « From Lock Freedom to Progress Using Session Types » |
| In | Proceedings of Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13) |
| Series | EPTCS |
| Volume | 137 |
| Page(s) | 3-19 |
| Year | 2013 |
| Publisher | Open Publishing Association |
| 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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
