default search action
9th PLACES 2016: Eindhoven, The Netherlands
- Dominic A. Orchard, Nobuko Yoshida:
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 211, 2016 - Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Secure Multiparty Sessions with Topics. 1-12 - Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar:
Formalization of Phase Ordering. 13-24 - Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Parallel Monitors for Self-adaptive Sessions. 25-36 - Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Event-driven Adaptation in COP. 37-45 - Tony Garnock-Jones:
From Events to Reactions: A Progress Report. 46-55 - Claudio Antares Mezzina, Jorge A. Pérez:
Reversible Sessions Using Monitors. 56-64 - Wytse Oortwijn, Stefan Blom, Marieke Huisman:
Future-based Static Analysis of Message Passing Programs. 65-72 - Roly Perera, Julien Lange, Simon J. Gay:
Multiparty Compatibility for Concurrent Objects. 73-82 - Sanjiva Prasad:
Program Execution on Reconfigurable Multicore Architectures. 83-91
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.