A.W. Roscoe · 4 obras en el catálogoObrasThe modelling and analysis of security protocols2001Understanding Concurrent SystemsReflections on the Work of C.A.R. HoareDDomains for Denotational SemanticsDomains for Denotational Semantics