The Machinery of Interaction

Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni

doi:10.1145/3414080.3414108

Conference papers

The Machinery of Interaction

Beniamino Accattoli ¹ Ugo Dal Lago ^{2, 3} Gabriele Vanoni ^{2, 3}

1 PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion

LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France

2 University of Bologna

3 FOCUS - Foundations of Component-based Ubiquitous Systems

CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]

Document type :

Conference papers

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadatas

https://hal.inria.fr/hal-03089342
Contributor : Beniamino Accattoli <>
Submitted on : Monday, December 28, 2020 - 12:11:22 PM
Last modification on : Tuesday, December 29, 2020 - 3:31:36 AM

The Machinery of Interaction

Links full text

Identifiers

Collections

Citation

Export

Metrics

13

Contact Legal Notice Personal Data

The Machinery of Interaction

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

13

Contact Legal Notice Personal Data