PLACES

Keyphrases

Publications

2016

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Parallel Monitors for Self-adaptive Sessions. PLACES (2016)
Sanjiva Prasad
Program Execution on Reconfigurable Multicore Architectures. PLACES (2016)
Tony Garnock-Jones
From Events to Reactions: A Progress Report. PLACES (2016)
Wytse Oortwijn, Stefan Blom, Marieke Huisman
Future-based Static Analysis of Message Passing Programs. PLACES (2016)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Secure Multiparty Sessions with Topics. PLACES (2016)
Claudio Antares Mezzina, Jorge A. Pérez
Reversible Sessions Using Monitors. PLACES (2016)
Roly Perera, Julien Lange, Simon J. Gay
Multiparty Compatibility for Concurrent Objects. PLACES (2016)
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
Formalization of Phase Ordering. PLACES (2016)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Event-driven Adaptation in COP. PLACES (2016)

volume 211, 2016

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. PLACES 211 (2016)

volume 203, 2016

Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015. PLACES 203 (2016)

2015

2014

volume 155, 2014

Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. PLACES 155 (2014)

2013

volume 137, 2013

Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. PLACES 137 (2013)

2012

volume 109, 2012

Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012. PLACES 109 (2012)

2010

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering PLACES (2010)

volume 69, 2010

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