{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:22:26Z","timestamp":1694636546920},"reference-count":101,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[1973,8,1]],"date-time":"1973-08-01T00:00:00Z","timestamp":113011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[1973,8]]},"DOI":"10.1109\/tc.1973.5009149","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T16:36:47Z","timestamp":1243960607000},"page":"710-717","source":"Crossref","is-referenced-by-count":59,"title":["A Comparison of Some Theoretical Models of Parallel Computation"],"prefix":"10.1109","volume":"C-22","author":[{"given":"Raymond E.","family":"Miller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"holtz","year":"0"},{"key":"ref38","author":"hack","year":"1971","journal-title":"Analysis of Petri nets used as a model for concurrent systems and production facilities"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1971.223316"},{"key":"ref32","first-page":"335","author":"gonzales","year":"1970","journal-title":"Parallel Processor Systems Technologies and Applications"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/1.1.2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1147\/rd.111.0002"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1963.263560"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0045-7949(71)90014-9"},{"key":"ref35","first-page":"68","article-title":"the parallel and the pipeline computers","author":"graham","year":"1970","journal-title":"Datamation"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1464291.1464361"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1963.263558"},{"key":"ref27","first-page":"80","article-title":"the cdc 7600 and scope 76","author":"elrod","year":"1970","journal-title":"Datamtion"},{"key":"ref29","first-page":"251","author":"flynn","year":"1970","journal-title":"Parallel Processor Systems Technologies and Applications"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1969.222777"},{"key":"ref22","first-page":"55","author":"dennis","year":"1970","journal-title":"Rec Project MAC Conf Concurrent Syst and Parallel Computation"},{"key":"ref21","first-page":"484","article-title":"programming generality, parallelism and computer architecture","author":"dennis","year":"1969","journal-title":"Proc Information Processing 68"},{"key":"ref24","article-title":"data flow schemas","author":"dennis","year":"1972","journal-title":"Proc Symp Theoretical Programming"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"ref101","author":"winograd","year":"1972","journal-title":"Complexity of Computer Computations"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/365559.365617"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1147\/rd.111.0025"},{"key":"ref25","author":"dijkstra","year":"1968","journal-title":"Programming Languages"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1972.12"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/355592.365595"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/321386.321391"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1968.22"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(70)80022-8"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1972.19"},{"key":"ref55","doi-asserted-by":"crossref","first-page":"1889","DOI":"10.1109\/PROC.1966.5272","article-title":"a survey of problems and preliminary results concerning parallel processing and parallel processors","volume":"54","author":"lehman","year":"1966","journal-title":"Proceedings of the IEEE"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1968.229159"},{"key":"ref53","article-title":"towards automatic construction of parallel programs","author":"kotov","year":"1972","journal-title":"Proc Symp Theoretical Programming"},{"key":"ref52","first-page":"37j","article-title":"on transformation of sequential programs into asynchronous parallel programs","author":"kotov","year":"1968","journal-title":"Proc IFIP Congr"},{"key":"ref40","first-page":"3","author":"holt","year":"1970","journal-title":"Rec Project MAC Conf Concurrent Syst and Parallel Computation"},{"key":"ref4","first-page":"375","author":"baer","year":"1970","journal-title":"Parallel Processor Systems Technologies and Applications"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1147\/rd.111.0034"},{"key":"ref6","author":"baer","year":"1972","journal-title":"A survey of multiprocessing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/321592.321605"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1968.229158"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1970.13"},{"key":"ref7","article-title":"operation patterns (an extensible model of an extensible language)","author":"bahrs","year":"1972","journal-title":"Proc Symp Theoretical Programming"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1966.264565"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1137\/0114108"},{"key":"ref45","author":"izbicki","year":"1971","journal-title":"On marked graphs"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/321406.321418"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref42","year":"0"},{"key":"ref41","author":"holt","year":"1971","journal-title":"On deadlocks in computer systems"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(72)80041-2"},{"key":"ref43","first-page":"75","article-title":"the logical schemes of algorithms","volume":"1","author":"ianov","year":"1958","journal-title":"Probl Cybern"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-06720-5_17"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60102-3"},{"key":"ref71","first-page":"72","article-title":"the ibm 360\/195","author":"murphy","year":"1970","journal-title":"Datamation"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1971.23"},{"key":"ref76","author":"patil","year":"0","journal-title":"Coordination of asynchronous events"},{"key":"ref77","year":"1967"},{"key":"ref74","first-page":"119","article-title":"comparative schematology","author":"paterson","year":"1970","journal-title":"Rec Project MAC Conf Concurrent Syst and Parallel Computation"},{"key":"ref75","first-page":"18","volume":"3","author":"paterson","year":"1968","journal-title":"Machine Intelligence"},{"key":"ref78","first-page":"107","article-title":"closure properties of interconnections of determinate systems","author":"patil","year":"1970","journal-title":"Rec Project MAC Conf Concurrent Syst and Parallel Computation"},{"key":"ref79","volume":"1","author":"petri","year":"1966","journal-title":"Communication with automata"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1147\/SJ.2008.5386517"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/800235.807079"},{"key":"ref61","author":"miller","year":"1965","journal-title":"Switching Theory Volume 2 Sequential Circuits and Machines"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1137\/0201007"},{"key":"ref64","first-page":"41","article-title":"some theoretical studies of computation","author":"miller","year":"1969","journal-title":"Conf Proc 5th Yugoslav Conf Inform Processing"},{"key":"ref65","article-title":"configurable computers: a new class of general purpose machines","author":"miller","year":"1972","journal-title":"Proc Symp Theoretical Programming"},{"key":"ref66","first-page":"1550","article-title":"generating a data flow model of a program","volume":"8","author":"miller","year":"1966","journal-title":"IBM Tech Disclosure Bull"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1137\/1013094"},{"key":"ref68","author":"muller","year":"1963","journal-title":"Asynchronous Logics and Application to Information Processing Switching Theory in Space Technology"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.111.0008"},{"key":"ref69","article-title":"flow chart methods for the logical design of an asynchronous control","author":"muller","year":"1959","journal-title":"UNESCO Int Conf Inform Processing"},{"key":"ref1","first-page":"311","author":"adams","year":"1970","journal-title":"Parallel Processor Systems Technologies and Applications"},{"key":"ref95","doi-asserted-by":"crossref","DOI":"10.21236\/AD0697026","volume":"2","author":"shapiro","year":"1969","journal-title":"The representation of algorithms"},{"key":"ref94","first-page":"117","article-title":"computer organization for array processing","volume":"27","author":"senzig","year":"1965","journal-title":"1965 Fall Joint Comput Conf AFIPS Conf Proc"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1145\/321312.321315"},{"key":"ref92","first-page":"7","article-title":"program schemata as automata, part i","author":"rutledge","year":"0","journal-title":"Conf Rec 1970 IEEE 11th Annu Symp Switching and Automata Theory"},{"key":"ref91","author":"rutledge","year":"1970","journal-title":"Parallel processes schemata and transformations"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1145\/321203.321204"},{"key":"ref98","author":"slutz","year":"1968","journal-title":"The flowgraph schemata model of parallel computation"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1970.222795"},{"key":"ref96","author":"shapiro","year":"1971","journal-title":"The representation of algorithms as cyclic partial orderings"},{"key":"ref97","first-page":"129","article-title":"flow graph schemata","author":"slutz","year":"1970","journal-title":"Rec Project MAC Conf Concurrent Syst and Parallel Computation"},{"key":"ref10","first-page":"11","article-title":"description of the 7600 computer system","author":"bonseigneur","year":"1969","journal-title":"IEEE Comput Group News"},{"key":"ref11","author":"bradshaw","year":"1971","journal-title":"Structure and representation of digital computer systems"},{"key":"ref12","author":"bredt","year":"1970","journal-title":"A survey of models for parallel computing"},{"key":"ref13","first-page":"287","author":"bredt","year":"1970","journal-title":"Parallel Processor Systems Technologies and Applications"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1971.21"},{"key":"ref15","article-title":"insertion of parallel program schemata","year":"1973","journal-title":"Proc 7th Annu Princeton Conf Inform Sci and Syst"},{"key":"ref16","article-title":"parallelism, pipelining and computer efficiency","author":"chen","year":"1971","journal-title":"Comput Design"},{"key":"ref82","first-page":"417","author":"reigel","year":"1970","journal-title":"Parallel Processor Systems Technologies and Applications"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1478786.1478838"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/1478559.1478561"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"ref84","author":"rodriguez","year":"1967","journal-title":"A Graph Model for Parallel Computation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1463822.1463838"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/321479.321485"},{"key":"ref80","year":"1962","journal-title":"Kommunikation mit Automatin"},{"key":"ref89","author":"russell","year":"1969","journal-title":"Automatic program analysis"},{"key":"ref85","year":"1969"},{"key":"ref86","author":"rose","year":"1970","journal-title":"A system of representation for general purpose digital computer systems"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1145\/1479992.1480034"},{"key":"ref88","author":"rose","year":"1971","journal-title":"The LOGOS representation system"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/5009144\/05009149.pdf?arnumber=5009149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:39:21Z","timestamp":1638200361000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5009149\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1973,8]]},"references-count":101,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tc.1973.5009149","relation":{},"ISSN":["0018-9340"],"issn-type":[{"value":"0018-9340","type":"print"}],"subject":[],"published":{"date-parts":[[1973,8]]}}}