{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:42:39Z","timestamp":1725630159431},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540116097"},{"type":"electronic","value":"9783642686030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68603-0_5","type":"book-chapter","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T22:50:58Z","timestamp":1320447058000},"page":"73-86","source":"Crossref","is-referenced-by-count":2,"title":["Architectural Support for Software in the MONADS III Computer Design"],"prefix":"10.1007","author":[{"given":"J. L.","family":"Keedy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Rosenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abramson, D. \u201cHardware Management of a Large Virtual Memory\u201d, Proc. 4th Australian Computer Science Conference, Brisbane 1981 (Australian Computer Science Communications 3, 1, pp 1\u201313 )."},{"key":"5_CR2","volume-title":"Hobart","author":"Abramson","year":"1982","unstructured":"Abramson, D. \u201cHardware for Capability Based Addressing\u201d, Proc. 9th Australian Computer Conference, Hobart, 1982."},{"key":"5_CR3","unstructured":"Abramson, D., Ph.D. Thesis, Department of Computer Science, Monash University (in preparation)."},{"key":"5_CR4","unstructured":"Bishop, B. \u201cComputer Systems with a Very Large Address Space and Garbage Collection\u201d, Ph.D. Thesis, Massachusetts Institute of Technology, 1977 (MIT LCS TR-178)."},{"issue":"2","key":"5_CR5","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","volume":"1","author":"P Brinch-Hansen","year":"1975","unstructured":"Brinch-Hansen, P. \u201cThe Programming Language Concurrent Pascal\u201d, IEEE Transactions on Software Engineering, 1, 2, 1975, pp 199\u2013207.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W. \u201cCooperating Sequential Processes\u201d, in \u201cProgramming Languages\u201d, ed. F. Genuys, Academic Press, 1968, pp 43\u2013112.","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Edwards, D.B.G., Knowles, A.E. and Woods, J.V. \u201cThe MU6-G: A New Design to Achieve Mainframe Performance from a Mini Sized Computer\u201d, Proc. 7th Annual Symposium on Computer Architecture, 1980, pp 161\u2013167.","DOI":"10.1145\/800053.801921"},{"key":"5_CR8","unstructured":"England, D.M. \u201cArchitectural Features of \u2019 250\u201d, Infotech State of the Art Report 14, Operating Systems, 1972, pp 395\u2013426."},{"issue":"7","key":"5_CR9","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/361011.361070","volume":"17","author":"RS Fabry","year":"1974","unstructured":"Fabry, R.S. \u201cCapability Based Addressing\u201d, Comm. ACM, 17, 7, 1974, pp 403\u2013412.","journal-title":"Comm. ACM"},{"key":"5_CR10","unstructured":"Gehringer, E.F., Keedy, J.L. and Thompson, J.V. \u201cDynamic Data Structure Management in MONADS III\u201d, Proc. 5th Australian Computer Science Conference, pp 68\u201378, Perth 1982."},{"key":"5_CR11","unstructured":"Georgiades, A., Richards, I. and Keedy, J.L. \u201cA File \u2019 for the MONADS Operating \u201d, Proc. 8th Australian Computer Conference, pp 547\u2013558, Canberra 1978."},{"issue":"5","key":"5_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/859412.859413","volume":"6","author":"RA Hagan","year":"1979","unstructured":"Hagan, R.A. and Wallace, C.S. \u201cA Virtual Memory \u2019 for the Hewlett Packard 2100A\u201d, ACM Computer Architecture News, 6, 5, 1979, pp 5\u201313.","journal-title":"ACM Computer Architecture News"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., \u201cMonitors: An Operating \u2019 Structuring Concept\u201d, Comm. ACM, 17, 10, pp 549\u2013557.","DOI":"10.1145\/355620.361161"},{"key":"5_CR14","unstructured":"Houdek, M.E. and Mitchell, G.R. \u201cTranslating a Large Virtual Address\u201d, IBM \u2019\/ 38 Technical Developments, 1978, pp 19\u201321."},{"key":"5_CR15","unstructured":"Intel Corporation \u201cIntroduction to the iAPX432 Architecture\u201d, Intel Corporation Manual, Order No. 171821-001, 1981."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Jones, A.K. \u201cThe Object Model, a Conceptual Tool for Structuring Software\u201d, in Bayer\u201cOperating Systems, An Advanced Course\u201d, Lecture Notes in Computer Science, 60, Springer Verlag, Berlin, 1978, pp 7\u201316.","DOI":"10.1007\/3-540-08755-9_2"},{"key":"5_CR17","first-page":"251","volume-title":"An Outline of the ICL 2900 Series \u2019 Architecture, Australian Computer Journal, 9, 2, 1977, pp 53\u201362; reprinted in Computer Structures: Principles and Examples ed. D.P. Siewiorek, C.G.. Bell and A","author":"JL Keedy","year":"1981","unstructured":"Keedy, J.L. \u201cAn Outline of the ICL 2900 Series \u2019 Architecture\u201d, Australian Computer Journal, 9, 2, 1977, pp 53\u201362; reprinted in \u201cComputer Structures: Principles and Examples\u201d ed. D.P. Siewiorek, C.G.. Bell and A. Newell, McGraw- Hill 1981, pp 251\u2013259."},{"issue":"1","key":"5_CR18","first-page":"5","volume":"13","author":"JL Keedy","year":"1979","unstructured":"Keedy, J.L. \u201cOn Structuring Operating Systems with Monitors\u201d, Australian Computer Journal, 10, 1, 1978, pp 23\u201327; reprinted in ACM Operating Systems Review, 13, 1, 1979, pp 5\u20139.","journal-title":"Australian Computer Journal, 10, 1, 1978, pp 23\u201327; reprinted in ACM Operating Systems Review"},{"key":"5_CR19","volume-title":"Canberra","author":"Keedy","year":"1978","unstructured":"Keedy, J.L. \u201cThe MONADS Operating \u201d, Proc. of 8th Australian Computer Conference, pp. 903\u2013910, Canberra 1978."},{"issue":"1","key":"5_CR20","first-page":"23","volume":"12","author":"JL Keedy","year":"1980","unstructured":"Keedy, J.L. \u201cOn the Exportation of Variables\u201d, Australian Computer Journal 12, 1, 1980, pp 23\u201327.","journal-title":"Australian Computer Journal"},{"key":"5_CR21","volume-title":"Melbourne","author":"Keedy","year":"1980","unstructured":"Keedy, J.L. \u201cPaging and Small Segments: A Memory Management Model\u201d, Proc. IFIP-80, 8th World Computer Congress, pp 337\u2013342, Melbourne 1980."},{"key":"5_CR22","volume-title":"Hobart","author":"Keedy","year":"1982","unstructured":"Keedy, J.L. \u201cThe MONADS View of Software Modules\u201d, Proc. 9th Australian Computer Conference, Hobart 1982."},{"key":"5_CR23","unstructured":"Keedy, J.L. \u201cA Comparison of Processes Structuring Models\u201d, MONADS Report No. 4, Monash University."},{"key":"5_CR24","unstructured":"Keedy, J.L. \u201cInter-Module Binding and Calling in the MONADS Systems\u201d(in preparation)"},{"key":"5_CR25","unstructured":"Keedy, J.L. \u201cModule Capability Management in the MONADS Systems\u201d (in preparation)"},{"key":"5_CR26","unstructured":"Keedy, J.L. \u201cModule Creation in the MONADS \u2019\u201d (in preparation)"},{"key":"5_CR27","unstructured":"Keedy, J.L. \u201cA Stack Model and its Implementation in the MONADS Systems\u201d (in preparation)"},{"key":"5_CR28","unstructured":"Keedy, J.L. \u201cThe Internal Structure of Modules in the MONADS Systems\u201d (in preparation)"},{"key":"5_CR29","unstructured":"Keedy, J.L. \u201cData Abstractions, Opened Files and Resource Control in the MONADS Architecture\u201d (in preparation)."},{"key":"5_CR30","unstructured":"Keedy, J.L. and Ramamohanarao, K. \u201cA Job Management Model for In=Process Systems\u201d MONADS Report No. 7, Monash University."},{"issue":"2","key":"5_CR31","first-page":"56","volume":"14","author":"JL Keedy","year":"1982","unstructured":"Keedy, J.L. and Richards, I. \u201cA Software Engineering View of Files\u201d, Australian Computer Journal, 14, 2, 1982, pp. 56\u201361.","journal-title":"Australian Computer Journal"},{"issue":"8","key":"5_CR32","first-page":"1","volume":"81","author":"JL Keedy","year":"1981","unstructured":"Keedy, J.L. and Rosenberg, J. \u201cInformation Hiding - A Key to Successful Software Engineering\u201d, Proc. Conference on Computers and Engineering 1981, Institution of Engineers, Australia, Publication No. 81 \/8, pp 1\u20135, 1981.","journal-title":"Proc. Conference on Computers and Engineering 1981, Institution of Engineers, Australia, Publication No."},{"issue":"2","key":"5_CR33","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1093\/comjnl\/22.2.146","volume":"22","author":"JL Keedy","year":"1979","unstructured":"Keedy, J.L., Rosenberg, J. and Ramamohanarao, K. \u201cOn Implementing Semaphores with Sets\u201d, The Computer Journal, 22, 2, 1979, pp 146\u2013150.","journal-title":"The Computer Journal"},{"issue":"1","key":"5_CR34","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/comjnl\/25.1.121","volume":"25","author":"JL Keedy","year":"1982","unstructured":"Keedy, J.L., Rosenberg, J. and Ramamohanarao, K. \u201cOn Synchronising Readers and Writers with Semaphores\u201d, The Computer Journal, 25, 1, 1982, pp. 121\u2013125.","journal-title":"The Computer Journal"},{"key":"5_CR35","first-page":"223","volume":"2","author":"T Kilburn","year":"1962","unstructured":"Kilburn, T., Edwards, D.B.E., Lanigan, M.J. and Sumner, F.H. \u201cOne Level Storage \u201d, I.R. E. Transactions on Electronic Computation, EC-11, 2, 1962, pp. 223\u2013234.","journal-title":"E. Transactions on Electronic Computation, EC-11"},{"issue":"5","key":"5_CR36","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/360051.360074","volume":"19","author":"B Lampson","year":"1976","unstructured":"Lampson, B. and Sturgis, H. \u201cReflections on Operating \u2019 Design\u201d, Comm. ACM, 19, 5, 1976, pp 251\u2013265.","journal-title":"Comm. ACM"},{"issue":"2","key":"5_CR37","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/850657.850658","volume":"13","author":"HC Lauer","year":"1979","unstructured":"Lauer, H.C. and Needham, R.M. \u201cOn the Duality of Operating \u2019 Structures\u201d, ACM Operating Systems Review, 13, 2, 1979, pp. 13\u201319.","journal-title":"ACM Operating Systems Review"},{"issue":"8","key":"5_CR38","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1145\/359763.359789","volume":"20","author":"B Liskov","year":"1977","unstructured":"Liskov, B., Snyder, A., Atkinson, R. and Schaffert, C. \u201cAbstraction Mechanisms in CLU\u201d, Comm. ACM, 20, 8, 1977, pp 564\u2013576.","journal-title":"Comm. ACM"},{"key":"5_CR39","volume-title":"Software Engineering Concepts and Techniques","author":"P Naur","year":"1976","unstructured":"Naur, P., Randell, B. and Buxton, J.N. \u201cSoftware Engineering Concepts and Techniques\u201d, Petrocelli\/Charter, New York, 1976."},{"key":"5_CR40","volume-title":"The Multics \u2019: An Examination of its Structure","author":"EI Organick","year":"1972","unstructured":"Organick, E.I. \u201cThe Multics \u2019: An Examination of its Structure\u201d, MIT Press, Cambridge, Mass., 1972."},{"key":"5_CR41","volume-title":"Computer Systems Organization, the B5700\/6700 Series","author":"EI Organick","year":"1973","unstructured":"Organick, E.I. \u201cComputer Systems Organization, the B5700\/6700 Series\u201d, Academic Press, New York, 1973."},{"key":"5_CR42","unstructured":"Parnas, D.L. \u201cInformation Distribution Aspects of Design Methodology\u201d, Proceedings 5th World Computer Congress, IFIP-71, pp. 339\u2013344."},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Parnas, D.L. \u201cOn the Criteria to be Used in Decomposing Systems into Modules\u201d, Comm. ACM, 15, 12, pp 1053\u20131058.","DOI":"10.1145\/361598.361623"},{"key":"5_CR44","volume-title":"A New Model for Job Management Systems, Ph.D","author":"K Ramamohanarao","year":"1980","unstructured":"Ramamohanarao, K. \u201cA New Model for Job Management Systems\u201d, Ph.D. Thesis, Monash University, 1980."},{"key":"5_CR45","unstructured":"Ramamohanarao, J. and Keedy, J.L. \u201cJob Management in the MONADS Operating \u201d Proc. 8th Australian Computer Conference, pp. 1476\u20131488, Canberra 1978."},{"issue":"1","key":"5_CR46","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0020-0190(81)90145-9","volume":"13","author":"J Ramamohanarao","year":"1981","unstructured":"Ramamohanarao, J. and Sacks-Davis, R. \u201cHardware Address Translation for Machines with a Large Virtual Memory\u201d, Information Processing Letters, 13, 1, 1981, pp. 23\u201329.","journal-title":"Information Processing Letters"},{"issue":"7","key":"5_CR47","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/363156.363158","volume":"12","author":"B Randell","year":"1969","unstructured":"Randell, B. \u201cA Note on Storage Fragmentation and Program Segmentation\u201d, Comm. ACM, 12, 7, 1969, pp. 365\u2013369.","journal-title":"Comm. ACM"},{"key":"5_CR48","volume-title":"The Organisation and Protection of Information in a Computer Utility, Ph.D","author":"I Richards","year":"1981","unstructured":"Richards, I. \u201cThe Organisation and Protection of Information in a Computer Utility\u201d, Ph.D. Thesis, Monash University, 1981."},{"key":"5_CR49","unstructured":"Richards, I. and Keedy, J.L. \u201cSubsystem Management in the MONADS Operating \u201d, Proc. 8th Australian Computer Conference, pp. 1520\u20131529, Canberra, 1978."},{"key":"5_CR50","volume-title":"The Concept of a Hardware Kernel and its Implementation in a Minicomputer, Ph.D. Thesis","author":"J Rosenberg","year":"1979","unstructured":"Rosenberg, J. \u201cThe Concept of a Hardware Kernel and its Implementation in a Minicomputer\u201d, Ph.D. Thesis, Dept. of Computer Science, Monash University, 1979."},{"key":"5_CR51","first-page":"0","volume":"1","author":"J Rosenberg","year":"1981","unstructured":"Rosenberg, J. \u201cMONADS Series III Instruction Set\u201d, MONADS Series III Technical Report No. 1, Version 1. 0, June 1981.","journal-title":"1, Version"},{"key":"5_CR52","unstructured":"Rosenberg, J. and Keedy, J.L. \u201cThe MONADS Hardware Kernel\u201d, Proc. 8th Australian Computer Conference, pp. 1542\u20131552, Canberra, 1978."},{"issue":"8","key":"5_CR53","first-page":"6","volume":"81","author":"J Rosenberg","year":"1981","unstructured":"Rosenberg, J. and Keedy, J.L. \u201cInformation Hiding - A Case Study\u201d, Proc. Conference on Computers in Engineering, 1981, Institution of Engineers, Australia, Publication No. 81 \/8, pp. 6\u20139, 1981.","journal-title":"Proc. Conference on Computers in Engineering, 1981, Institution of Engineers, Australia, Publication No."},{"key":"5_CR54","unstructured":"Rosenberg, J. and Keedy, J.L. \u201cSoftware Management of a Large Virtual Memory\u201d, Proc. 4th Australian Computer Science Conference, Brisbane, 1981 (Australian Computer Science Communications, 3, 1, pp. 173\u2013181 )."},{"key":"5_CR55","unstructured":"Rosenberg, J., Rowe, D.M. and Keedy, J.L. \u201cAn Overview of the MONADS Series III Architecture\u201d, Proc. 5th Australian Computer Science Conference, pp. 58\u201367, Perth 1982."},{"issue":"3","key":"5_CR56","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF00986123","volume":"2","author":"MJ Spier","year":"1973","unstructured":"Spier, M.J. \u201cA Model Implementation of Protective Domains\u201d, Int. Journal of Computer and Information Sciences, 2, 3, 1973, pp 201\u2013229.","journal-title":"Int. Journal of Computer and Information Sciences"},{"key":"5_CR57","unstructured":"Thomson, J.V., Ph.D. Thesis, Department of Computer Science, Monash University, (in preparation)"},{"key":"5_CR58","volume-title":"Canberra","author":"Wallace","year":"1978","unstructured":"Wallace, C.S. Memory and Addressing Extensions to a HP2100A, Proc. 8th Australian Computer Conference, pp. 1796\u20131811, Canberra 1978."},{"key":"5_CR59","volume-title":"The Cambridge CAP Computer and its Operating \u2019","author":"MV Wilkes","year":"1979","unstructured":"Wilkes, M.V. and Needham, R.H. \u201cThe Cambridge CAP Computer and its Operating \u201d, North Holland, Oxford, 1979."},{"issue":"3","key":"5_CR60","first-page":"336","volume":"17","author":"E Wulf","year":"1974","unstructured":"Wulf, E., Cohen, E., Corwin, W., Jones, A., Levin, R., Pierson, C. and Pollack, F. \u201cHYDRA: The Kernel of a Multiprocessor Operating \u201d, Comm. ACM, 17, 3, 1974, pp. 336\u2013345.","journal-title":"Comm. ACM"},{"key":"5_CR61","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1109\/TSE.1976.233830","volume":"4","author":"W Wulf","year":"1976","unstructured":"Wulf, W., London, R. and Shaw, M. \u201cAn Introduction to the Construction and Verification of Alphard Programs\u201d, IEEE Transactions on Software Engineering, SE-2, 4, 1976, pp. 253\u2013264.","journal-title":"IEEE Transactions on Software Engineering, SE-2"},{"key":"5_CR62","unstructured":"Wulf, W.A., Levin, R. and Harbison, S.P. 1\u2019 HYDRA\/C. mmp: An Experimental Computer, McGraw-Hill, New York, 1981."}],"container-title":["Informatik-Fachberichte","GI-12. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68603-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:40:37Z","timestamp":1606239637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68603-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540116097","9783642686030"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68603-0_5","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}