{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:08:50Z","timestamp":1649196530942},"reference-count":25,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1016\/s0065-2458(08)60495-7","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T05:56:15Z","timestamp":1295416575000},"page":"39-82","source":"Crossref","is-referenced-by-count":7,"title":["Real-Time Distributed Computer Systems"],"prefix":"10.1016","author":[{"given":"W.R.","family":"Franta","sequence":"first","affiliation":[]},{"given":"E. Douglas","family":"Jensen","sequence":"additional","affiliation":[]},{"given":"R.Y.","family":"Kain","sequence":"additional","affiliation":[]},{"given":"George D.","family":"Marshall","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"No. 4, Dec.","key":"10.1016\/S0065-2458(08)60495-7_bib1","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/356654.356658","article-title":"Computer interconnection structures: Taxonomy, characteristics, and examples","volume":"7","author":"Anderson","year":"1975","journal-title":"Computing Surveys"},{"key":"10.1016\/S0065-2458(08)60495-7_bib2","series-title":"\u201cSoftware Development Study,\u201d","author":"Bender","year":"1976"},{"key":"10.1016\/S0065-2458(08)60495-7_bib3","unstructured":"Boebert, W. E., Franta, W. R., and Berg, H. K. (1979). NPN: A finite-state specification technique for distributed software. Proc. Conf. Specification Reliable Software 1979, pp. 139\u2013149."},{"key":"10.1016\/S0065-2458(08)60495-7_bib4","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","article-title":"Distributed processes: A concurrent programming concept","volume":"21","author":"Brinch Hansen","year":"1978","journal-title":"Commun. ACM"},{"issue":"No. 2","key":"10.1016\/S0065-2458(08)60495-7_bib5","first-page":"57","article-title":"Implementation of eventcounts in a broadcast network","volume":"4","author":"Bullis","year":"1980","journal-title":"Comput. Networks"},{"key":"10.1016\/S0065-2458(08)60495-7_bib6","series-title":"\u201cComputer Networks and their Protocols.\u201d","author":"Davies","year":"1979"},{"key":"10.1016\/S0065-2458(08)60495-7_bib7","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/363095.363143","article-title":"The structure of the T. H. E. multiprogramming system","volume":"11","author":"Dijkstra","year":"1968","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60495-7_bib8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/800165.805236","article-title":"An experimental distributed switching system to handle bursty computer traffic","author":"Farmer","year":"1969","journal-title":"Proc. ACM Symp. Probl. Optim. Data Commun. Syst."},{"key":"10.1016\/S0065-2458(08)60495-7_bib9","series-title":"\u201cLocal Networks: Motivation, Technology and Performance.\u201d","author":"Franta","year":"1981"},{"issue":"No. 8","key":"10.1016\/S0065-2458(08)60495-7_bib10","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60495-7_bib11","first-page":"488","article-title":"IEEE standard digital interface for programmable instrumentation","author":"IEEE Instrumentation and Measurements Group","year":"1975","journal-title":"IEEE Stand."},{"issue":"No. 1","key":"10.1016\/S0065-2458(08)60495-7_bib12","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/C-M.1978.217904","article-title":"The Honeywell experimental distributed processor\u2013An overview","volume":"11","author":"Jensen","year":"1978","journal-title":"Computer"},{"key":"10.1016\/S0065-2458(08)60495-7_bib13","series-title":"\u201cDistributed Systems: An Advanced Course.\u201d","article-title":"Decentralized control","author":"Jensen","year":"1980"},{"key":"10.1016\/S0065-2458(08)60495-7_bib14","unstructured":"Kramer, J., and Cunningham, R. J. (1978). Towards a notation for the functional design of distributed processing systems. Proc. Int. Conf. Parallel Process., 1978."},{"issue":"No. 1","key":"10.1016\/S0065-2458(08)60495-7_bib15","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/357062.357068","article-title":"A new approach to proving the correctness of multi-process programs","volume":"1","author":"Lamport","year":"1979","journal-title":"ACM Trans. Programm. Lang. Syst."},{"key":"10.1016\/S0065-2458(08)60495-7_bib16","unstructured":"LeLann, G. (1977). Distributed systems\u2013toward a formal approach. Proc. IFIP Cong. 1977 pp. 155\u2013160."},{"key":"10.1016\/S0065-2458(08)60495-7_bib17","series-title":"Program structures for exceptional condition handling","author":"Levin","year":"1977"},{"key":"10.1016\/S0065-2458(08)60495-7_bib18","doi-asserted-by":"crossref","unstructured":"Liskov, B. (1979). Primitives for distributed computing. Proc. 7th Symp. Oper. Syst. Princ., 7th, pp. 33\u201342.","DOI":"10.1145\/800215.806567"},{"issue":"No. 2","key":"10.1016\/S0065-2458(08)60495-7_bib19","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1109\/TSE.1980.230470","article-title":"Communication port: A language concept for concurrent programming","volume":"SE-6","author":"Mao","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"issue":"No. 7","key":"10.1016\/S0065-2458(08)60495-7_bib20","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1145\/360248.360253","article-title":"Ethernet: Distributed packet switching for local computer networks","volume":"19","author":"Metcalfe","year":"1976","journal-title":"Commun. ACM"},{"issue":"No. 6","key":"10.1016\/S0065-2458(08)60495-7_bib21","doi-asserted-by":"crossref","first-page":"1133","DOI":"10.1002\/j.1538-7305.1972.tb02646.x","article-title":"Network for block switching of data","volume":"51","author":"Pierce","year":"1972","journal-title":"Bell System Tech. J."},{"key":"10.1016\/S0065-2458(08)60495-7_bib22","unstructured":"Post, D. L. (1978). Executive architecture for digital avionics systems. Proc. NAECON 1978 pp. 714\u2013724."},{"key":"10.1016\/S0065-2458(08)60495-7_bib23","unstructured":"Rubey, R. J. (1978). Higher order languages for avionics software\u2013a survey, summary, and critique. Proc. NAECON 1978 pp. 945\u2013951."},{"key":"10.1016\/S0065-2458(08)60495-7_bib24","series-title":"\u201cMIL-STD-1553: Military Standard Aircraft Internal Time Division Multiplex Data Bus.\u201d","author":"U. S. Air Force","year":"1973"},{"issue":"No. 4","key":"10.1016\/S0065-2458(08)60495-7_bib25","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/361284.361288","article-title":"A system for interprocess communication in a resource sharing computer network","volume":"15","author":"Walden","year":"1972","journal-title":"Commun. ACM"}],"container-title":["Advances in Computers","Advances in Computers Volume 20"],"original-title":[],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T23:43:34Z","timestamp":1559951014000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808604957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60495-7","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1981]]}}}