References

[1] B. Freisleben, Mechanismen zur Synchronisation paralleler Prozesse (1985), Darmstadt: PhD Thesis, Technical University of Darmstadt, Germany, 1985.

[2] B. Freisleben, Mechanismen zur Synchronisation paralleler Prozesse, Springer Informatik Fachberichte 133, 1987.

[3] J. L. Keedy, M. Evered, A. Schmolitzky and G. Menger, “Attribute Types and Bracket Implementations,” in 25th International Conference on Technology of Object Oriented Systems, TOOLS 25, Melbourne, 1997.

[4] D. L. Parnas, “Information Distribution Aspects of Design Methodology,” in Proceedings of the 5th World Computer Congress, 1971.

[5] D. L. Parnas, “On the Criteria to be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053-1058, 1972.

[6] D. L. Parnas, “A Technique for Module Specification with Examples,” Communications of the ACM, vol. 15, no. 5, pp. 330-336, 1972.

[7] J. L. Keedy, “An Outline of the ICL2900 Series System Architecture,” Australian Computer Journal, vol. 9, no. 2, pp. 53-62, 1977.

[8] J. L. Keedy, “An Outline of the ICL2900 Series System Architecture,” in Computer Structures: Principles and Examples (ed. Siewiorek D.P., Bell, C.G. and Newell, A.), N.Y., McGraw-Hill, 1982, pp. 251-259.

[9] A. Bensoussan, C. T. Clingen and R. C. Daley, “The MULTICS Virtual Memory: Concepts and Design,” Communications of the ACM, vol. 15, no. 5, pp. 308-318, May 1972.

[10] F. J. Corbato and V. A. Vyssotsky, “Introduction and Overview of the MULTICS System,” in Proceedings of the 1965 Fall Joint Computer Conference, 1965.

[11] R. C. Daley and J. B. Dennis, “Virtual Memory, Processes, and Sharing in MULTICS,” Communications of the ACM, vol. 11, no. 5, pp. 306-312, 1968.

[12] M. P. Atkinson, P. J. Bailey, K. J. Chisholm, W. P. Cockshott and R. Morrison, “An Approach to Persistent Programming,” The Computer Journal, vol. 26, no. 4, pp. 360-365, 1983.

[13] D. A. Abramson, Computer Hardware to Support Capability Based Addressing in a Large Virtual Memory, Melbourne: Ph.D. thesis, Monash University, Dept. of Computer Science, available at https://espace.library.uq.edu.au/view/UQ:314180, 1982.

[14] D. Abramson, “Hardware Management of a Large Virtual Memory,” Proceedings of the 4th Australian Computer Conference, pp. 1-13, 1981.

[15] D. A. Abramson and J. L. Keedy, “Implementing a Large Virtual Memory in a Distributed Computing System,” in Proceedings of the 18th Hawaii International Conference on System Sciences, 1985.

[16] F. A. Henskens, A Capability-Based Persistent Distributed Shared Memory, Newcastle NSW, Australia: Ph.D. thesis, University of Newcastle NSW, Department of Computer Science, 1991.

[17] B. W. Lampson, “Protection,” ACM Operating Systems Review, vol. 8, no. 1, pp. 18-24, January 1974.

[18] J. L. Keedy, “S-RISC: Adding Security to RISC Computers,” SPEEDOS Website, 2023.

[19] J. L. Keedy, K. Espenlaub, C. Heinlein and G. Menger, “Call-out Bracket Methods in Timor,” Journal of Object Technology, vol. 5, no. 1, pp. 51-67, 2006.

[20] H. C. Lauer and R. M. Needham, “On the Duality of Operating System Structures,” ACM Operating Systems Review, vol. 13, no. 2, pp. 3-19, 1979.

[21] K. Ramamohanarao, “A New Model for Job Management Systems,” PhD. Thesis, Monash University, Australia, 1980.

[22] P. J. Courtois, F. Heymans and D. L. Parnas, “Concurrent Control with Readers and Writers,” Communications of the ACM, vol. 14, no. 10, pp. 667-668, 1971.

[23] J. L. Keedy, TIMOR-An Object- and Component Oriented Language, 2020.