Published September 8, 2020 | Version v1

Conference paper Metadata-only

The Machinery of Interaction

Creators: Accattoli, Beniamino; Dal Lago, Ugo; Vanoni, Gabriele

Others:: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT) ; Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria); University of Bologna/Università di Bologna; Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)

Description

International audience

Additional details

Created:: December 4, 2022
Modified:: November 28, 2023