Volume 241, July 2009

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)

• 
  Vasco Thudichum Vasconcelos, Nobuko Yoshida: Preface. 1-2
• 
  Andi Bejleri, Nobuko Yoshida: Synchronous Multiparty Session Types. 3-33
• 
  Marco Carbone: Session-based Choreography with Exceptions. 35-55
• 
  Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos: Compiling the pi-calculus into a Multithreaded Typed Assembly Language. 57-84
• 
  Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous: Encapsulation and Dynamic Modularity in the pi-calculus. 85-100
• 
  Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Type-Directed Compilation for Multicore Programming. 101-111
• 
  Franz Puntigam: Synchronization as a Special Case of Access Control. 113-133
• 
  Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida: A Symbolic Semantics for a Calculus for Service-Oriented Computing. 135-164