65. Birthday: Robin Milner 1999

Semantic Foudations

Programming Logic

Programming Languages

Concurrency

Mobility

a service of Schloss Dagstuhl - Leibniz Center for Informatics