![](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
2nd PLACES 2009: York, UK
- Alastair R. Beresford, Simon J. Gay:
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009. EPTCS 17, 2009 - Hugo A. López
, Carlos Olarte
, Jorge A. Pérez:
Towards a Unified Framework for Declarative Structured Communications. 1-15 - Andi Bejleri, Raymond Hu
, Nobuko Yoshida
:
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance. 17-29 - Marco Carbone, Joshua D. Guttman:
Execution Models for Choreographies and Cryptoprotocols. 31-41 - Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz, Dan Grossman:
Programming Idioms for Transactional Events. 43-48 - Francisco Martins
, Luís M. B. Lopes, João Barros:
Towards the Safe Programming of Wireless Sensor Networks. 49-62 - Stefan Marr, Michael Haupt, Stijn Timbermont, Bram Adams
, Theo D'Hondt, Pascal Costanza, Wolfgang De Meuter:
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models. 63-77 - Prodromos Gerakios, Nikolaos Papaspyrou
, Konstantinos Sagonas
:
A Concurrent Language with a Uniform Treatment of Regions and Locks. 79-93 - Vasco Thudichum Vasconcelos, Francisco Martins
, Tiago Cogumbreiro
:
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. 95-109
![](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.