Published: 3rd April 2020
DOI: 10.4204/EPTCS.314
ISSN: 2075-2180

EPTCS 314

Proceedings of the 12th International Workshop on
Programming Language Approaches to Concurrency- and Communication-cEntric Software
Dublin, Ireland, 26th April 2020

Edited by: Stephanie Balzer and Luca Padovani

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

Preface

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