![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
6th PLACES 2013: Rome, Italy
- Nobuko Yoshida
, Wim Vanderbauwhede:
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. EPTCS 137, 2013 - Luca Padovani
:
From Lock Freedom to Progress Using Session Types. 3-19 - Cinzia Di Giusto, Jorge A. Pérez
:
Session Types with Runtime Adaptation: Overview and Examples. 21-32 - Yoichi Hirai
:
Session Types in Abelian Logic. 33-52 - Laura Bocchi, Romain Demangeon:
Embedding Session Types in HML. 53-62 - Tarmo Uustalu
:
Coinductive Big-Step Semantics for Concurrency. 63-78 - Ashkan Tousimojarad, Wim Vanderbauwhede:
The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition. 79-94 - Rumyana Neykova
:
Session Types Go Dynamic or How to Verify Your Python Conversations. 95-102 - Eduardo R. B. Marques
, Francisco Martins
, Vasco T. Vasconcelos
, Nicholas Ng, Nuno Martins
:
Towards deductive verification of MPI programs against session types. 103-113 - Romain Demeyer, Wim Vanhoof
:
Static Application-Level Race Detection in STM Haskell using Contracts. 115-134 - Simon Dobson, Alan Dearle, Barry Porter:
Minimising virtual machine support for concurrency. 135-141
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.