Skip to content

Home Practice Lessons About

A.W. Roscoe

Books

Reflections on the Work of C.A.R. Hoare
Domains for Denotational Semantics
Understanding Concurrent Systems
The modelling and analysis of security protocols

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.