Published: 3rd April 2020|
|Preface Stephanie Balzer and Luca Padovani|
|Session Type Systems based on Linear Logic: Classical versus Intuitionistic Bas van den Heuvel and Jorge A. Pérez||1|
|Generating Interactive WebSocket Applications in TypeScript Anson Miu, Francisco Ferreira, Nobuko Yoshida and Fangyi Zhou||12|
|Duality of Session Types: The Final Cut Simon J. Gay, Peter Thiemann and Vasco T. Vasconcelos||23|
|Bounded verification of message-passing concurrency in Go using Promela and Spin Nicolas Dilley and Julien Lange||34|
|Mixed Sessions: the Other Side of the Tape Filipe Casal, Andreia Mordido and Vasco T. Vasconcelos||46|
|Fluent Session Programming in C# Shunsuke Kimura and Keigo Imai||61|
The PLACES workshop series is dedicated to the exploration and the understanding of a wide variety of foundational and practical ideas in the increasingly concurrent and parallel landscape of hardware and software infrastructures. Programming such systems, where concurrency and distribution are the norm rather than a marginal concern, poses significant challenges and demands radically different approaches to software development, maintentenance and deployment.
This volume contains the proceedings of PLACES 2020, the 12th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop was scheduled to be held in Dublin, Ireland, on April 26th 2020, as a satellite event of ETAPS, the European Joint Conferences on Theory and Practice of Software. However, the COVID-19 spread forced the ETAPS organizers to postpone the whole event to some later date which was unknown at the time these proceedings have been being prepared for publication.
Below is the list of Program Committee members of PLACES 2020:
The Program Committee, after a careful and thorough reviewing process, selected 6 papers out of 9 submissions to appear in the current proceedings. Each submission was evaluated by three referees, and the accepted papers were selected after an electronic discussion. Three papers were conditionally accepted and re-checked by one PC chair or Program Committee member before final acceptance. The submissions that were not selected for publication were judged to present interesting and valuable ideas and the authors kindly agreed to present their research at the workshop.
PLACES 2020 was made possible by the contribution and dedication of many people. We thank all the authors who submitted papers for consideration. We wish to thank Einar Broch Johnsen (University of Oslo, NO) and Zhong Shao (Yale University, USA) for accepting to give invited talks at the workshop. We are extremely grateful to the members of the Program Committee and additional experts for their careful reviews, and the balanced discussions during the selection process. The EasyChair system was instrumental in supporting the submission and reviewing process; the EPTCS website was similarly useful in production of these proceedings. Finally, we reserve a special thank you to Simon Gay, Vasco T. Vasconcelos and Nobuko Yoshida, who helped and guided us in the organization of this edition of the workshop.
March 23th, 2020
Stephanie Balzer and Luca Padovani