60th Birthday: Catuscia Palamidessi 2019

Concurrency

Logic and Constraint Programming

Security and Privacy

Models and Puzzles

a service of Schloss Dagstuhl - Leibniz Center for Informatics