EPTCS 17 - PLACES 2009
Alastair R. Beresford, Simon J. Gay (Eds.): Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. 2009 EPTCS 17 [ contents ]- 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 F. 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team