{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:13Z","timestamp":1725663133004},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540116042"},{"type":"electronic","value":"9783540394242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11604-4_57","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:46:35Z","timestamp":1330191995000},"page":"251-269","source":"Crossref","is-referenced-by-count":0,"title":["Structuring distributed programs with control fault detection"],"prefix":"10.1007","author":[{"given":"Michiharu","family":"Tsukamoto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Andler, S. (1979). Predicate Path Expression: A High-Level Synchronization Mechanism. CMU-CS-79-134, Depart. of Comput. Science Carnegie-Mellon Univ.","DOI":"10.1145\/567752.567774"},{"issue":"11","key":"13_CR2","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"P. Brinch Hansen","year":"1978","unstructured":"Brinch Hansen, P. (1978). Distributed Processes: A Concurrent Programming Concept. Comm. ACM, Vol 21, No. 11, pp 934\u2013941.","journal-title":"Comm. ACM"},{"key":"13_CR3","first-page":"89","volume":"16","author":"R.H. Campbell","year":"1974","unstructured":"Campbell, R.H. and Habermann, A.N. (1974). The specification of Process Synchronization by Path Expressions. LNCS, Vol 16, pp 89\u2013102.","journal-title":"LNCS"},{"issue":"6","key":"13_CR4","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/359114.359127","volume":"22","author":"J.A. Feldman","year":"1979","unstructured":"Feldman, J.A. (1979). High Level Programming for Distributed Computing. Comm. ACM, Vol 22, No 6, pp 353\u2013368.","journal-title":"Comm. ACM"},{"issue":"8","key":"13_CR5","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare C.A.R. (1978). Communicating Sequential Processes. Comm. ACM, Vol 21, No 8, pp 666\u2013677.","journal-title":"Comm. ACM"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Ichbiah J.D. et al. (1979). Preliminary ADA Reference Manual. ACM SIGPLAN Notices, Vol 14, No 6, Part A.","DOI":"10.1145\/956650.956651"},{"issue":"1","key":"13_CR7","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/C-M.1978.217904","volume":"11","author":"E.D. Jensen","year":"1978","unstructured":"Jensen, E.D. (1978). The Honeywell Experimental Distributed Processor \u2014 An overview. IEEE Computer, Vol 11, No 1, pp 28\u201339.","journal-title":"IEEE Computer"},{"issue":"1","key":"13_CR8","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/TSE.1975.6312823","volume":"SE-1","author":"J.R. Kane","year":"1975","unstructured":"Kane J.R., and Yau S.S. (1975). Concurrent Software Fault Detection. Trans. on Software Engineering, Vol SE-1, No 1, pp 87\u201399.","journal-title":"Trans. on Software Engineering"},{"key":"13_CR9","unstructured":"Kawai, H. (1981). High-Level Protocols in Heterogeneous Computer Networks. Res. of ETL, No 817, Electrotechnical Lab."},{"key":"13_CR10","unstructured":"Kim K.H. (1979). Error Detection, Reconfiguration and Recovery in Distributed Processing Systems. Proc. IEEE Distributed Computing Systems, Huntsville, pp 271\u2013295."},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00264564","volume":"5","author":"P.E. Lauer","year":"1975","unstructured":"Lauer, P.E. and Campbell, R.H. (1975). Formal Semantics for a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Informatica, Vol 5, pp 297\u2013332.","journal-title":"Acta Informatica"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Liskov, V. (1979). Primitives for Distributed Computing. Proc. 7th Symp. on OS Principles, pp 33\u201342.","DOI":"10.1145\/800215.806567"},{"issue":"3","key":"13_CR13","first-page":"9","volume":"15","author":"V. Liskov","year":"1981","unstructured":"Liskov, V. (1981). Reports on the Workshop on Fundamental Issues in Distributed Computing. ACM SIGOPS, Vol 15, No 3, pp 9\u201338.","journal-title":"ACM SIGOPS"},{"issue":"2","key":"13_CR14","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1109\/TSE.1980.230470","volume":"SE-6","author":"T.W. Mao","year":"1980","unstructured":"Mao T.W., and Yeh R.T. (1980). Communication Port: A Language Concept for Concurrent Programming. IEEE Trans. on Software Engineering, Vol SE-6, No 2, pp 194\u2013204.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"13_CR15","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/1061432.1061433","volume":"6","author":"M.N. Matelan","year":"1976","unstructured":"Matelan, M.N. (1976) A Model for Real Time Control System Production. ACM SIGDA, Vol 6, No 2, pp 14\u201361.","journal-title":"ACM SIGDA"},{"issue":"4","key":"13_CR16","first-page":"208","volume":"43","author":"T. Nagata","year":"1979","unstructured":"Nagata T. et al. (1979). An Outline of Poly Prosessor System for Control (PPSC). Bull. of ETL, Vol 43, No 4, pp 208\u2013212.","journal-title":"Bull. of ETL"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Tsukamoto M. (1981). Language Structures and Management Method in a Distributed Real-Time Environment. Proc. 3rd IFAC Workshop on DCCS, Beijing.","DOI":"10.1016\/S1474-6670(17)64395-7"}],"container-title":["Lecture Notes in Computer Science","Operating Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11604-4_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:44:26Z","timestamp":1619556266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11604-4_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540116042","9783540394242"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-11604-4_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}