Roscoe, A.W.
Roscoe, A. W. (Andrew Willliam)
Roscoe, Andrew W. 1956-
Bill Roscoe computer scientist
Roscoe, Bill 1956-
Roscoe, Andrew William
VIAF ID: 45727431 ( Personal )
Permalink: http://viaf.org/viaf/45727431
Preferred Forms
- 100 0 _ ‡a Bill Roscoe ‡c computer scientist
-
- 100 1 _ ‡a Roscoe, A. W.
- 100 1 _ ‡a Roscoe, A. W.
-
-
-
-
-
-
-
- 100 1 _ ‡a Roscoe, A.W.
- 100 1 _ ‡a Roscoe, Andrew W. ‡d 1956-
- 100 1 _ ‡a Roscoe, Andrew William
- 100 1 _ ‡a Roscoe, Bill ‡d 1956-
4xx's: Alternate Name Forms (14)
5xx's: Related Names (3)
- 510 2 _ ‡a Computing Laboratory ‡g Oxford ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Dundee ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Oxford ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
A Classical mind : essays in honour of C.A.R. Hoare | |
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings | |
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings | |
The Laws of OCCAM programming | |
Millenial perspectives in computer science, 2000: | |
The modelling and analysis of security protocols : the CSP approach | |
Protections logicielles des réseaux de neurones artificiels. | |
Reflections on the work of C.A.R. Hoare | |
SBMF 2015 | |
Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 | |
Software protections for artificial neural networks | |
The theory and practice of concurrency, 1997: | |
A theory of communicating sequential processes | |
Topology and category theory in computer science | |
Understanding concurrent systems, 2011: | |
Unique solution techniques for processes and functions |