Fellowship- Self-Managed Reliable Location-Independent Distributed Storage.

Kirby, Graham (PI)

School of Computer Science

Project: Fellowship

2 results

2008
Design, implementation and deployment of state machines using a generative approach
Kirby, G. N. C., Dearle, A. & Norcross, S. J., 2008, Architecting Dependable Systems V. de Lemos, R., Di Giandomenico, F., Gacek, C., Muccini, H. & Vieira, M. (eds.). Springer, p. 175-198 (Lecture Notes in Computer Science; vol. 5135).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Open Access
File
2007
Generating a family of Byzantine tolerant protocol implementations using a meta-model architecture
Kirby, G., Dearle, A. & Norcross, S., 25 Jun 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems: DSN 2007. University of Edinburgh, p. 178-183
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

File