Electronic Notes in Theoretical Computer Science, Volume 241

Volume 241, July 2009

• 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