Abstract is missing.
- Kickstarting Choreographic ProgrammingFabrizio Montesi. 3-10 [doi]
- On the Suitability of Generalized Behavioral Profiles for Process Model ComparisonAbel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy. 13-28 [doi]
- Formal Verification of Petri Nets with NamesMarco Montali, Andrey Rivkin. 29-47 [doi]
- Modeling and Formal Analysis of a Client-Server Application for Cloud ServicesPaolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene. 51-66 [doi]
- An Event-Based Approach to Runtime Adaptation in Communication-Centric SystemsCinzia Di Giusto, Jorge A. Pérez. 67-85 [doi]
- Designing Efficient XACML Policies for RESTful ServicesMarc Hüffmeyer, Ulf Schreier. 86-100 [doi]
- Type Inference for Session Types in the π-calculusEva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl. 103-121 [doi]
- Type Checking Purpose-Based Privacy Policies in the π-CalculusEleni Kokkinofta, Anna Philippou. 122-142 [doi]
- On the Decidability of Honesty and of Its VariantsMassimo Bartoletti, Roberto Zunino. 143-166 [doi]