Edsger Dijkstra

Randell
workshop on object-oriented real-time dependable systems

3
2003
Proceedings of the first ACM symposium on Operating System Principles

J. Gosden , B. Randell
symposium on operating systems principles

1967
Software engineering in 1968

B. Randell
international conference on software engineering 1 -10

30
1979
MAFTIA: Reference Model and Use Cases

Christian Cachin , J Camenisch , Y Deswarte , J Dobson
Department of Informatics, University of Lisbon

4
2000
Service and Protocol Architecture for the MAFTIA Middleware

C Cachin , Miguel Correia , T McCutcheon , Nuno Ferreira Neves
Department of Informatics, University of Lisbon

5
2001
Conceptual Model and Architecture of MAFTIA

A. Adelsbach , C Cachin , S Creese , Y Deswarte
School of Computing Science Technical Report Series

65
2003
First Specification of APIs and Protocols for the MAFTIA Middleware

I Welch , JM Armstrong , C Cachin , M Correia
Department of Computing Science Technical Report Series

10
2001
Coordinated Atomic Actions: Formal Model, Case Study and System Implementation

A. Romanovsky , F. von Henke , D. Schwier , B. Randell
Department of Computing Science Technical Report Series

6
1998
MAFTIA Conceptual Model and Architecture

A Adelsbach , C Cachin , S Creese , Y Deswarte
Department of Informatics, University of Lisbon

7
2001
Cyber threats

B. Randell , D. Long , P. Ladkin , W. Bartlett
ieee international symposium on fault tolerant computing

1998
Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation

A. Romanovsky , B. Randell , J. Xu
Department of Computing Science Technical Report Series

1
1997
Reliable Computing Systems

B. Randell
Operating Systems, An Advanced Course 282 -391

32
1978
Toward an object-oriented approach to software fault tolerance

J. Xu , B. Randell , C.M.F. Rubira-Calsavara , R.J. Stroud
ieee workshop on fault tolerant parallel and distributed systems 226 -233

24
1994
Certification of algorithms 63, 64 and 65, partition, quicksort, and find

B. Randell , L. J. Russell
Communications of the ACM 6 ( 8) 446

2
1963
Remark on Algorithm 76: Sorting procedures

B. Randell
Communications of The ACM 5 ( 6) 348

3
1962