Abstract is missing.
- Multilevel Transitive and Intransitive Non-interference, CausallyPaolo Baldan, Alessandro Beggiato. 1-17 [doi]
- A Game Interpretation of Retractable ContractsFranco Barbanera, Ugo de'Liguoro. 18-34 [doi]
- Where Do Your IoT Ingredients Come From?Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. 35-50 [doi]
- Tuple Spaces Implementations and Their EfficiencyVitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina. 51-66 [doi]
- On-the-Fly Mean-Field Model-Checking for Attribute-Based CoordinationVincenzo Ciancia, Diego Latella, Mieke Massink. 67-83 [doi]
- Scheduling Games for Concurrent SystemsKasper Dokter, Sung-Shik T. Q. Jongmans, Farhad Arbab. 84-100 [doi]
- ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline ComputationsKiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain. 101-120 [doi]
- Modelling Ambulance Deployment with CarmaCARMAVashti Galpin. 121-137 [doi]
- On Synchronous and Asynchronous Compatibility of Communicating ComponentsRolf Hennicker, Michel Bidoit, Thanh-Son Dang. 138-156 [doi]
- A Semantic Theory of the Internet of Things - (Extended Abstract)Ruggero Lanotte, Massimo Merro. 157-174 [doi]
- A Formal Analysis of the Global Sequence ProtocolHernán C. Melgratti, Christian Roldán. 175-191 [doi]
- Improving Gossip Dynamics Through Overlapping ReplicatesDanilo Pianini, Jacob Beal, Mirko Viroli. 192-207 [doi]
- From Modelling to Systematic Deployment of Distributed Active ObjectsLudovic Henrio, Justine Rochas. 208-226 [doi]
- An Interference-Free Programming Model for Network ObjectsMischael Schill, Christopher M. Poskitt, Bertrand Meyer. 227-244 [doi]
- On Sessions and Infinite DataPaula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini. 245-261 [doi]
- On Dynamical Probabilities, or: How to Learn to Shoot StraightHerbert Wiklicky. 262-277 [doi]