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
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.