Published: 18th October 2011
DOI: 10.4204/EPTCS.69
ISSN: 2075-2180


Proceedings Third Workshop on
Programming Language Approaches to Concurrency and communication-cEntric Software
Paphos, Cyprus, 21st March 2010

Edited by: Kohei Honda and Alan Mycroft

Kohei Honda and Alan Mycroft
Secure Execution of Distributed Session Programs
Nuno Alves, Raymond Hu, Nobuko Yoshida and Pierre-Malo Deniélou
Channels as Objects in Concurrent Object-Oriented Programming
Joana Campos and Vasco T. Vasconcelos
A Logic for Choreographies
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt and Hugo A. López
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
Thomas T. Hildebrandt and Raghava Rao Mukkamala
Session Type Inference in Haskell
Keigo Imai, Shoji Yuen and Kiyoshi Agusa
A Modular Toolkit for Distributed Interactions
Julien Lange and Emilio Tuosto
Types for X10 Clocks
Francisco Martins, Vasco T. Vasconcelos and Tiago Cogumbreiro


This is the post-proceedings of PLACES’10, the 3rd Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, which was held in Paphos, Cyprus, on 21 March 2010, co-located with ETAPS’10.  PLACES aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges in programming in near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern.

PLACES’10 welcomed William Cook for the invited talk.  We were excited to be able to hear William’s talk on concurrency, and sincerely thank him for agreeing to come from Austin, Texas.

For the submitted contributions, the Program Committee, after a careful and thorough reviewing process, selected 10 papers for inclusion in the programme out of 13 submissions.  Each submission was evaluated by at least two referees, and the accepted papers were selected following a week of electronic discussions. This volume contains 8 papers out of the the presented 10 papers after a long process of revisions reflecting discussions in the workshop and further reviews.  As a result we are glad to reach an exciting collection of papers which capture different significant aspects of programming language research centring on communication and concurrency.

PLACES’10 was made possible by the contribution and dedication of many people.  First of all, we would like to thank all the authors who submitted papers to the workshop. Secondly we would like to thank our invited speaker.  We would also like to thank the members of the Program Committee for their careful reviews. We are indebted to Anna Philippou (ETAPS General Co-Chair) for her continuous help and George A. Papadopoulos (ETAPS Local Chair) for his valuable assistance. We also thank the  EPTCS general editor Rob van Glabbeek for his support throughout the editing process.

September 2011

Kohei Honda and Alan Mycroft