Abstract is missing.
- On the Power of Attribute-Based CommunicationYehia Abd Alrahman, Rocco De Nicola, Michele Loreti. 1-18 [doi]
- Fencing Programs with Self-Invalidation and Self-DowngradeParosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu. 19-35 [doi]
- A Framework for Certified Self-StabilizationKarine Altisen, Pierre Corbineau, Stéphane Devismes. 36-51 [doi]
- Developing Honest Java Programs with DiogenesNicola Atzei, Massimo Bartoletti. 52-61 [doi]
- Playing with Our CAT and Communication-Centric ApplicationsDavide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto. 62-73 [doi]
- Multiparty Session Types Within a Canonical Binary Theory, and BeyondLuís Caires, Jorge A. Pérez. 74-95 [doi]
- A Type Theory for Robust Failure Handling in Distributed SystemsTzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster. 96-113 [doi]
- Choreographies in PracticeLuís Cruz-Filipe, Fabrizio Montesi. 114-123 [doi]
- Specification-Based Synthesis of Distributed Self-Stabilizing ProtocolsFathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni. 124-141 [doi]
- Branching Bisimulation GamesDavid de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse. 142-157 [doi]
- A Configurable CEGAR Framework with Interpolation-Based RefinementsÁkos Hajdu, Tamás Tóth, András Vörös, István Majzik. 158-174 [doi]
- A Theory for the Composition of Concurrent ProcessesLudovic Henrio, Eric Madelaine, Min Zhang. 175-194 [doi]
- Enforcing Availability in Failure-Aware Communicating SystemsHugo A. López, Flemming Nielson, Hanne Riis Nielson. 195-211 [doi]
- Ransomware Steals Your Phone. Formal Methods Rescue ItFrancesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio. 212-221 [doi]
- Multiple Mutation Testing from FSMAlexandre Petrenko, Omer Nguena-Timo, S. Ramesh. 222-238 [doi]
- The Challenge of Typed Expressiveness in ConcurrencyJorge A. Pérez. 239-247 [doi]
- Type-Based Analysis for Session Inference (Extended Abstract)Carlo Spaccasassi, Vasileios Koutavas. 248-266 [doi]
- SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink ModelsManel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed. 267-274 [doi]