{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:58Z","timestamp":1725663118119},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:17Z","timestamp":1330193537000},"page":"395-409","source":"Crossref","is-referenced-by-count":2,"title":["Object oriented concurrent programming and industrial software production"],"prefix":"10.1007","author":[{"given":"Akinori","family":"Yonezawa","sequence":"first","affiliation":[]},{"given":"Yoshihiro","family":"Matsumoto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"26_CR1","unstructured":"Dijkstra, E.W.: Notes on Structured Programming, Structured Programming, (Eds. O.J. Dahl, et al.), Academic Press, 1972."},{"key":"26_CR2","unstructured":"Fukui, S.: An Object Oriented Parallel Language, Proc. Hakone Programming Symposium, (1984), in Japanese."},{"key":"26_CR3","unstructured":"Goldberg, A. and Robson, D.: SmallTalk80 \u2014 The Language and its Implementation \u2014, Addison Wesley, 1983."},{"key":"26_CR4","unstructured":"Hewitt, C. and Baker, H.: Laws for Parallel Communicating Processes, IFIP-77, Toronto, (1977)."},{"key":"26_CR5","unstructured":"Hewitt, C. et al.: A Universal Modular Actor Formalism for Artificial Intelligence, Proc. Int. Jnt. Conf. on Art. Int., (1973)."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes, CACM, Vol. 21 No. 8, 1978.","DOI":"10.1145\/359576.359585"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/spe.4380140103","volume":"14","author":"J. M. Kerridge","year":"1984","unstructured":"Kerridge, J. M. and Simpson, D.: Three Solutions for a Robot Arm Controller Using Pascal-Plus, Occam and Edison, Software \u2014 Practice and Experience \u2014 Vol. 14, (1984), pp. 3\u201315.","journal-title":"Software \u2014 Practice and Experience"},{"key":"26_CR8","unstructured":"Lieberman, H.: A Preview of Act-1, AI-Memo 625, MIT AI Lab., (1981)."},{"issue":"2","key":"26_CR9","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/MC.1984.1659056","volume":"17","author":"Y. Matsumoto","year":"1984","unstructured":"Matsumoto, Y.: Management of Industrial Software Production, IEEE Computer Vol. 17, No. 2, (1984), pp. 59\u201372.","journal-title":"IEEE Computer"},{"key":"26_CR10","unstructured":"Matsuda, H. and Yonezawa, A.: ABCL User's Manual, Internal Memo, Dept. of Information Science, Tokyo Institute of Technology, November 1984."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Special Issue on Rapid Prototyping, ACM SIG Software Engineering Notes Vol. 7, No. 5, December 1982.","DOI":"10.1145\/1006258.1006290"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Special Issue For Distributed Problem Solving, IEEE Trans. on Systems, Man and Cybernetics, Vol. SMC-11, No.1, (1981).","DOI":"10.1109\/TSMC.1981.4308629"},{"key":"26_CR13","unstructured":"Weinreb, D. and Moon, D.: Flavors: Message Passing in the Lisp Machine, AI-Memo 602, MIT AI Lab., (1981)."},{"key":"26_CR14","unstructured":"Yonezawa, A.: Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics, (Ph.D. Thesis), TR-191 Laboratory for Computer Science, MIT, 1977."},{"key":"26_CR15","unstructured":"Yonezawa, A. and Hewitt, C.: Modelling Distributed Systems, Machine Intelligence, Vol. 9 (1979)."},{"key":"26_CR16","unstructured":"Yonezawa, A, Matsuda, H and Shibayama, E.: An Object Oriented Approach for Concurrent Programming, Research Report C-63, Dept. of Information Science, Tokyo Institute of Technology, November 1984."},{"key":"26_CR17","unstructured":"Yonezawa, A.: Discrete Event Simulation Based on An Object Oriented Parallel Computation Model, Research Report C-64, Dept. of Information Science, Tokyo Institute of Technology, November 1984."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:10Z","timestamp":1605643690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}