|
Published: 18th October 2011 DOI: 10.4204/EPTCS.69 ISSN: 2075-2180 |
| Preface Kohei Honda and Alan Mycroft | |
| Secure Execution of Distributed Session Programs Nuno Alves, Raymond Hu, Nobuko Yoshida and Pierre-Malo Deniélou | 1 |
| Channels as Objects in Concurrent Object-Oriented Programming Joana Campos and Vasco T. Vasconcelos | 12 |
| A Logic for Choreographies Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt and Hugo A. López | 29 |
| A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas | 44 |
| Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs Thomas T. Hildebrandt and Raghava Rao Mukkamala | 59 |
| Session Type Inference in Haskell Keigo Imai, Shoji Yuen and Kiyoshi Agusa | 74 |
| A Modular Toolkit for Distributed Interactions Julien Lange and Emilio Tuosto | 92 |
| Types for X10 Clocks Francisco Martins, Vasco T. Vasconcelos and Tiago Cogumbreiro | 111 |
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