Encore Gupta, A.; Forgy, C.L.; Kalp, D.; Newell, A.; and others. Parallel OPS5 on the Encore Multimax. IN: Proceedings of the 1988 International Conference on Parallel Processing. (Proceedings of the 1988 International Conference on Parallel Processing, University Park, PA, USA, 15-19 Aug. 1988). Edited by: Briggs, F.A. University Park, PA, USA: Pennsylvania State Univ, 1988. p. 271-80 vol.1. UCB Engin QA76.A1 I5549 Lee, P.A. [Parallel processing on the Multimax computer system]. IN: Major Advances in Parallel Processing. (Major Advances in Parallel Processing, London, UK, Dec. 1986). Edited by: Jesshope, C. Aldershot, UK: Gower Tech. Press, 1987. p. 204-10. Wilson, A. [Parallelization of an event driven simulator on the Encore Multimax]. IN: Multiprocessors and Array Processors. Proceedings of the Third Conference. (Multiprocessors and Array Processors. Proceedings of the Third Conference, San Diego, CA, USA, 14-16 Jan. 1987). Edited by: Karplus, W.J. San Diego, CA, USA: SCS, 1987. p. 111-26. Schanin, D.J. [The design and development of a very high speed system bus-the Encore Multimax Nanobus]. IN: 1986 Proceedings of the Fall Joint Computer Conference (Cat. No.86CH2345-7). (1986 Proceedings of the Fall Joint Computer Conference (Cat. No.86CH2345-7), Dallas, TX, USA, 2-6 Nov. 1986). Edited by: Stone, H.S. Washington, DC, USA: IEEE Comput. Soc. Press, 1986. p. 410-18. Bell, C.G.; Burkhart, H.B., III; Emmerich, S.; Anzelmo, A.; and others. [The Encore Continuum: a complete distributed work station-multiprocessor computing environment]. IN: AFIPS Conference Proceedings: 1985 National Computer Conference. (AFIPS Conference Proceedings: 1985 National Computer Conference, Chicago, IL, USA, 15-18 July 1985). Edited by: Wojcik, A.S. Reston, VA, USA: AFIPS Press, 1985. p. 147-55. Abstract available. Pub type: Practical. McMillan, K.L.; Schwalbe, J. Formal verification of the Gigamax cache consistency protocol. IN: Proceedings of the International Symposium on Shared Memory Multiprocessing. (Proceedings of the International Symposium on Shared Memory Multiprocessing, Tokyo, Japan, 2-4 April 1991). Tokyo, Japan: Inf. Process. Soc. Japan, 1991. p. 242-51.