65th Birthday: Rocco De Nicola 2019

Homage from Friends

Observational Semantics

Coordination Models and Languages

Logics and Types

Distributed Systems Modelling

Security

a service of Schloss Dagstuhl - Leibniz Center for Informatics