{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T18:08:46Z","timestamp":1649095726096},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1979,6,1]],"date-time":"1979-06-01T00:00:00Z","timestamp":297043200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1979,6]]},"DOI":"10.1007\/bf00977788","type":"journal-article","created":{"date-parts":[[2005,1,9]],"date-time":"2005-01-09T14:32:53Z","timestamp":1105281173000},"page":"209-218","source":"Crossref","is-referenced-by-count":0,"title":["Encoding of parallel program schemata by vector addition systems"],"prefix":"10.1007","volume":"8","author":[{"given":"A.","family":"Thayse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. Karp","year":"1969","unstructured":"R. Karp and R. Miller, ?Parallel program schemata,?J. Comput. Syst. Sci,3:147?195 (May 1969).","journal-title":"J. Comput. Syst. Sci"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/321765.321782","volume":"20","author":"R. Keller","year":"1973","unstructured":"R. Keller, ?Parallel program schemata and maximal parallelism, I, Fundamental results,?J. Assoc. Comput. Mach. 20:514?537 (July 1973).","journal-title":"J. Assoc. Comput. Mach."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"696","DOI":"10.1145\/321784.321795","volume":"20","author":"R. Keller","year":"1973","unstructured":"R. Keller, ?Parallel program schemata and maximal parallelism, II, Construction of closures,?J. Assoc. Comput. Mach. 20:696?710 (October 1973).","journal-title":"J. Assoc. Comput. Mach."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"R. Keller, ?On Maximally Parallel Schemata,?Eleventh Annual Symposium on Switching and Automata Theory (October 1970), pp. 32?50.","DOI":"10.1109\/SWAT.1970.13"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"R. Keller, ?On the Decomposition of Asynchronous Systems,?Thirteenth Annual Symposium on Switching and Automata Theory (October 1972), pp. 78?89.","DOI":"10.1109\/SWAT.1972.12"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"L. Logrippo, ?Renamings in Program Schemas,?Thirteenth Annual Symposium on Switching and Automata Theory (October 1972), pp. 67?70.","DOI":"10.1109\/SWAT.1972.19"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"W. Brinsfield and R. Miller, ?On the Composition of Parallel Program Schemata,?Twelfth Annual Symposium on Switching and Automata Theory (October 1971), pp. 20?23.","DOI":"10.1109\/SWAT.1971.21"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1109\/TC.1973.5009149","volume":"C-22","author":"R. Miller","year":"1973","unstructured":"R. Miller, ?A comparison of some theoretical models of parallel computation,?IEEE Trans. Comput. C-22:710?717 (August 1973).","journal-title":"IEEE Trans. Comput."},{"key":"CR9","unstructured":"N. De Francesco, G. Vaglini, and M. Vanneschi, ?Implementation of Parallel Computation Schemata,?Second Symposium on Microprocessing and Microprogramming (October 1976), pp. 157?163."},{"key":"CR10","first-page":"466","volume-title":"A Comparison of Models of Parallel Computations, Information Processing","author":"J. Peterson","year":"1974","unstructured":"J. Peterson and T. Bredt, ?A Comparison of Models of Parallel Computations, Information Processing,?Proceedings of the IFIP Congress, Vol. 74 (North-Holland, Amsterdam 1974), pp. 466?476."},{"key":"CR11","first-page":"183","volume":"1","author":"B. Howard","year":"1975","unstructured":"B. Howard, ?Parallel computation schemata and their hardware implementation,?Digital Processes 1:183?206 (1975).","journal-title":"Digital Processes"},{"issue":"20","key":"CR12","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1049\/el:19750376","volume":"11","author":"B. Howard","year":"1975","unstructured":"B. Howard, ?Determinacy of computation schemata for both parallel and simultaneous operation,?Electron. Lett. 11(20):485?487 (1975).","journal-title":"Electron. Lett."},{"key":"CR13","first-page":"139","volume-title":"A Multiprocessor System Design","author":"M. Conway","year":"1963","unstructured":"M. Conway, ?A Multiprocessor System Design,? inAFIPS Conference Proceedings (Spartan Books, Baltimore, 1963), pp. 139?146."},{"key":"CR14","volume-title":"Introduction to Computer Architecture","year":"1975","unstructured":"H. Stone, Ed.,Introduction to Computer Architecture (Science Research Associates, Chicago, 1975)."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"R. Keller, ?On the Decomposition of Asynchronous Systems,?Proceedings of the Thirteenth Annual Symposium on Switching and Automata Theory (October 1972), pp. 78?89.","DOI":"10.1109\/SWAT.1972.12"}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00977788.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00977788\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00977788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T08:05:40Z","timestamp":1586073940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00977788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,6]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1979,6]]}},"alternative-id":["BF00977788"],"URL":"https:\/\/doi.org\/10.1007\/bf00977788","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,6]]}}}