Models, Languages, and Tools for Concurrent and Distributed Programming

Keyphrases

Publications

2019

Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
Modal Epistemic Logic on Contracts: A Doctrinal Approach. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Rumyana Neykova, Nobuko Yoshida
Featherweight Scribble. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
Different Glasses to Look into the Three Cs: Component, Connector, Coordination. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Testing for Coordination Fidelity. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi
X-Klaim Is Back. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Stefania Gnesi, Maurice H. ter Beek
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Flemming Nielson, Hanne Riis Nielson
Lightweight Information Flow. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Joseph Sifakis
Autonomous Systems - An Architectural Characterization. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Minas Charalambides, Karl Palmskog, Gul Agha
Types for Progress in Actor Programs. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Marco Bernardo
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Natasha Fernandes, Lefki Kacem, Catuscia Palamidessi
Utility-Preserving Privacy Mechanisms for Counting Queries. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Rob van Glabbeek
Reward Testing Equivalences for Processes. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay
HeadREST: A Specification Language for RESTful APIs. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Ugo Montanari
From Tuscany to Scotland and Back - A Homage to Rocco de Nicola for His 65th Birthday. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Matthew Hennessy
An Equational Characterisation of the Must Testing Pre-order for Regular Processes. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Testing Equivalence vs. Runtime Monitoring. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro
Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Eva Maria Kuehn
A Distributed Ledger Technology Based on Shared Write-Once Objects. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Martin Wirsing, Rolf Hennicker
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Luca Aceto, Gianlorenzo D'Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani
Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Revealing the Trajectories of KLAIM Tuples, Statically. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Alberto Lluch-Lafuente
A Framework for Provenance-Preserving History Distribution and Incremental Reduction. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Vincenzo Ciancia, Diego Latella, Mieke Massink
Embedding RCC8D in the Collective Spatial Logic CSLCS. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani
From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)

volume 11665, 2019

Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday Models, Languages, and Tools for Concurrent and Distributed Programming 11665 (2019)