Abstract is missing.
- From Tuscany to Scotland and Back - A Homage to Rocco de Nicola for His 65th BirthdayUgo Montanari. 3-6 [doi]
- Building International Doctoral Schools in Computer Science in Italy, De Nicola's WayLuca Aceto, Gianlorenzo D'Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani. 7-12 [doi]
- An Equational Characterisation of the Must Testing Pre-order for Regular ProcessesMatthew Hennessy. 15-27 [doi]
- Testing Equivalence vs. Runtime MonitoringLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. 28-44 [doi]
- Reward Testing Equivalences for ProcessesRob van Glabbeek. 45-70 [doi]
- Playing with Bisimulation in ErlangIvan Lanese, Davide Sangiorgi, Gianluigi Zavattaro. 71-91 [doi]
- Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, MetaresultsMarco Bernardo 0001. 92-111 [doi]
- X-Klaim Is BackLorenzo Bettini, Emanuela Merelli, Francesco Tiezzi. 115-135 [doi]
- A Distributed Ledger Technology Based on Shared Write-Once ObjectsEva Maria Kuehn. 136-151 [doi]
- Testing for Coordination FidelityYehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira. 152-169 [doi]
- Data-Driven Choreographies à la KlaimRoberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto. 170-190 [doi]
- Different Glasses to Look into the Three Cs: Component, Connector, CoordinationFarhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli. 191-216 [doi]
- From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTLStefania Gnesi, Maurice H. ter Beek. 219-235 [doi]
- Featherweight ScribbleRumyana Neykova, Nobuko Yoshida. 236-259 [doi]
- Embedding RCC8D in the Collective Spatial Logic CSLCSVincenzo Ciancia, Diego Latella, Mieke Massink. 260-277 [doi]
- From Behavioural Contracts to Session TypesAlessandro Fantechi, Elie Najm, Jean-Bernard Stefani. 278-297 [doi]
- Modal Epistemic Logic on Contracts: A Doctrinal ApproachPaolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella. 298-314 [doi]
- Types for Progress in Actor ProgramsMinas Charalambides, Karl Palmskog, Gul Agha. 315-339 [doi]
- Event Structure Semantics for Multiparty SessionsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. 340-363 [doi]
- Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic SystemsMartin Wirsing, Rolf Hennicker. 367-387 [doi]
- Autonomous Systems - An Architectural CharacterizationJoseph Sifakis. 388-410 [doi]
- Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoTGiancarlo Fortino, Barbara Re 0001, Mirko Viroli, Franco Zambonelli. 411-427 [doi]
- HeadREST: A Specification Language for RESTful APIsVasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay. 428-434 [doi]
- Revealing the Trajectories of KLAIM Tuples, StaticallyChiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. 437-454 [doi]
- Lightweight Information FlowFlemming Nielson, Hanne Riis Nielson. 455-470 [doi]
- A Framework for Provenance-Preserving History Distribution and Incremental ReductionAlberto Lluch-Lafuente. 471-486 [doi]
- Utility-Preserving Privacy Mechanisms for Counting QueriesNatasha Fernandes, Lefki Kacem, Catuscia Palamidessi. 487-495 [doi]