{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:47:19Z","timestamp":1725619639878},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540099376"},{"type":"electronic","value":"9783642676000"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/978-3-642-67600-0_7","type":"book-chapter","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T02:30:11Z","timestamp":1318300211000},"page":"83-93","source":"Crossref","is-referenced-by-count":0,"title":["A Methodology for Message Oriented Programming"],"prefix":"10.1007","author":[{"given":"Paulo Roberto Freire","family":"Cunha","sequence":"first","affiliation":[]},{"given":"Carlos Jose","family":"de Lucena","sequence":"additional","affiliation":[]},{"given":"Thomas Stephen Edward","family":"Maibaum","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Task Communication in DEMOS","author":"F Baskett","year":"1977","unstructured":"Baskett, F., Howard, J.H., Montague, J.T.: Task Communication in DEMOS; Proceedings of the 6th ACM Symposium on O.S. Principles, 1977."},{"key":"7_CR2","first-page":"238","volume-title":"The Nucleus of an Operating System","author":"P Brinch Hansen","year":"1970","unstructured":"Brinch Hansen, P.: The Nucleus of an Operating System; CACM, April 1970 (pp. 238\u2013241, 250)."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/BF00288684","volume":"1","author":"P Brinch Hansen","year":"1972","unstructured":"Brinch Hansen, P.: A Comparison for Two Synchronizing Concepts; Acta Informatica 1, 1972 (pp. 190\u2013199).","journal-title":"Acta Informatica"},{"key":"7_CR4","volume-title":"Thoth, A Portable Real-Time Operating System","author":"DR Cheriton","year":"1979","unstructured":"Cheriton, D.R., Malcolm, M.A., Melen, L.S., Sager, G.R.: Thoth, A Portable Real-Time Operating System; CACM, February 1979."},{"key":"7_CR5","volume-title":"Ph.D. thesis, University of Waterloo","author":"DR Cheriton","year":"1978","unstructured":"Cheriton, D.R.: Multi-Process Structuring and the Thoth Operating System; Ph.D. thesis, University of Waterloo, August 1978."},{"key":"7_CR6","unstructured":"Cunha, P.R.F., Maibaum, T.S.E.: A Communications Data Type for Message Oriented Programming; submitted for publication."},{"key":"7_CR7","series-title":"Research Report CS-79\u201325","volume-title":"On the Design and Specification of Message Oriented Programs","author":"PRF Cunha","year":"1979","unstructured":"Cunha, P.R.F., Lucena, C.J., Maibaum, T.S.E.: On the Design and Specification of Message Oriented Programs; Research Report CS-79\u201325, University of Waterloo, June 1979."},{"key":"7_CR8","volume-title":"Modularity; an Advanced Course on Software Engineering","author":"JB Dennis","year":"1973","unstructured":"Dennis, J.B.: Modularity; an Advanced Course on Software Engineering, Ed. F. Bauer, Springer-Verlag, 1973."},{"key":"7_CR9","first-page":"43","volume-title":"Programming Languages","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Cooperating Sequential Processes; Programming Languages, F. Genuys (ed.), Academic Press, New York, 1968 (pp. 43\u2013112)."},{"key":"7_CR10","volume-title":"Notes on Structured Programming, Structural Programming","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: Notes on Structured Programming, Structural Programming, Academic Press, London, 1972."},{"key":"7_CR11","series-title":"IBM Research Report RC","volume-title":"An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types","author":"JA Goguen","year":"1976","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.F.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types; IBM Research Report RC 6487, 1976."},{"key":"7_CR12","volume-title":"Ph.D. thesis, CSRG TR 59, University of Toronto","author":"J Guttag","year":"1975","unstructured":"Guttag, J.: The Specification and Application to Programming of Abstract Data Types; Ph.D. thesis, CSRG TR 59, University of Toronto, Sept. 1975."},{"key":"7_CR13","first-page":"77","volume-title":"Perspectives on Computer Science","author":"AN Habermann","year":"1977","unstructured":"Habermann, A.N.: On the Concurrency of Parallel Processes; Perspectives on Computer Science, A. Jones (ed.), Academic Press, London 1977 (pp. 77\u201390)."},{"key":"7_CR14","first-page":"549","volume-title":"Monitors, an Operating System Structuring Concept","author":"CAR Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors, an Operating System Structuring Concept; CACM, October 1974 (pp. 549\u2013557)."},{"key":"7_CR15","first-page":"666","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes; CACM, August 1978 (pp. 666\u2013677)."},{"key":"7_CR16","first-page":"827","volume-title":"Managers versus Monitors","author":"AJ Jammel","year":"1977","unstructured":"Jammel, A.J., Stiegler, H.G.: Managers versus Monitors; Proceedings of the IFIP 1977 (pp. 827\u2013830)."},{"key":"7_CR17","volume-title":"Programming with Abstract Data Types","author":"BH Liskov","year":"1974","unstructured":"Liskov, B.H., Zilles, S.: Programming with Abstract Data Types; Proceedings of the Conference on Very High Level Languages, SIGPLAN, Vol. 9, April 1974."},{"key":"7_CR18","volume-title":"Models for Distributed Computing","author":"DB MacQueen","year":"1978","unstructured":"MacQueen, D.B.: Models for Distributed Computing; Proc. of EEC\/IRIA Course on the Design of Distributed Processing, Nice, France, July 1978."},{"key":"7_CR19","first-page":"330","volume-title":"A Technique for Software Module Specification with Examples","author":"DJ Parnas","year":"1972","unstructured":"Parnas, D.J.: A Technique for Software Module Specification with Examples; CACM, May 1972 (pp. 330\u2013336)."},{"key":"7_CR20","first-page":"1053","volume-title":"On the Criteria to be Used in Decomposing Systems into Modules","author":"DJ Parnas","year":"1972","unstructured":"Parnas, D.J.: On the Criteria to be Used in Decomposing Systems into Modules; CACM, December 1972 (pp. 1053\u20131058)."},{"key":"7_CR21","series-title":"IEEE Computer Society","volume-title":"On the Formal Definition of Processes","author":"P Zave","year":"1976","unstructured":"Zave, P.: On the Formal Definition of Processes; Conference on Parallel Processing, Wayne State University, IEEE Computer Society, 1976."},{"key":"7_CR22","volume-title":"A Design Tool for Real-Time Processes","author":"P Zave","year":"1977","unstructured":"Zave, P.: A Design Tool for Real-Time Processes; Conference on Information Sciences and Systems, Johns Hopkins University, 1977."}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67600-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T04:06:00Z","timestamp":1555128360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67600-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540099376","9783642676000"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67600-0_7","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1980]]}}}