{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T23:25:07Z","timestamp":1649114707148},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,12,1]],"date-time":"1978-12-01T00:00:00Z","timestamp":281318400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1978,12]]},"DOI":"10.1007\/bf01776571","type":"journal-article","created":{"date-parts":[[2005,6,18]],"date-time":"2005-06-18T06:29:16Z","timestamp":1119076156000},"page":"151-173","source":"Crossref","is-referenced-by-count":0,"title":["Data spaces with indirect addressing"],"prefix":"10.1007","volume":"12","author":[{"given":"Armin B.","family":"Cremers","sequence":"first","affiliation":[]},{"given":"Thomas N.","family":"Hibbard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01776571_CR1","doi-asserted-by":"crossref","unstructured":"A. B. Cremers and T. N. Hibbard, The semantic definition of programming languages in terms of their data spaces, In:Programmiersprachen, Informatik-Fachberichte, Vol. 1, Springer-Verlag, 1976.","DOI":"10.1007\/978-3-642-66319-2_1"},{"key":"BF01776571_CR2","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(77)90002-0","volume":"5","author":"A. B. Cremers","year":"1977","unstructured":"A. B. Cremers and T. N. Hibbard, On the formal definition of dependencies between the control and information structure of a data space,Theoretical Computer Science, 5, 113\u2013128 (1977).","journal-title":"Theoretical Computer Science"},{"key":"BF01776571_CR3","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF00288884","volume":"9","author":"A. B. Cremers","year":"1978","unstructured":"A. B. Cremers and T. N. Hibbard, Orthogonality of information structures,Acta Informatica, 9, 243\u2013261 (1978).","journal-title":"Acta Informatica"},{"key":"BF01776571_CR4","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/321239.321240","volume":"11","author":"C. C. Elgot","year":"1964","unstructured":"C. C. Elgot and A. Robinson, Random-access stored-program machines, an approach to programming languages,Journal of the ACM, 11, 365\u2013399 (1964).","journal-title":"Journal of the ACM"},{"key":"BF01776571_CR5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF00264036","volume":"3","author":"G. Kaufholz","year":"1974","unstructured":"G. Kaufholz, \u00dcber die Vernetzungsstruktur von Maschinen,Acta Informatica, 3, 171\u2013186 (1974).","journal-title":"Acta Informatica"},{"key":"BF01776571_CR6","first-page":"1153","volume":"21","author":"W. Kwasowiec","year":"1973","unstructured":"W. Kwasowiec, Data regions in computers,Bull. Acad. Pol. Sci., Ser. Sci. Math. Astr. Phys., 21, 1153\u20131158 (1973).","journal-title":"Bull. Acad. Pol. Sci., Ser. Sci. Math. Astr. Phys."},{"key":"BF01776571_CR7","first-page":"1159","volume":"21","author":"W. Kwasowiec","year":"1973","unstructured":"W. Kwasowiec, Address computer properties concerned with data regions,Bull. Acad. Pol. Sci., Ser. Sci. Math. Astr. Phys., 21, 1159\u20131162 (1973).","journal-title":"Bull. Acad. Pol. Sci., Ser. Sci. Math. Astr. Phys."},{"key":"BF01776571_CR8","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/321328.321334","volume":"13","author":"W. D. Maurer","year":"1966","unstructured":"W. D. Maurer, A theory of computer instructions,Journal of the ACM, 13, 226\u2013235 (1966).","journal-title":"Journal of the ACM"},{"key":"BF01776571_CR9","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BF01706078","volume":"6","author":"W. D. Maurer","year":"1972","unstructured":"W. D. Maurer, On the definition of the variables used and set by a computation,Mathematical Systems Theory, 6, 86\u201389 (1972).","journal-title":"Mathematical Systems Theory"},{"key":"BF01776571_CR10","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/S0022-0000(68)80004-2","volume":"2","author":"E. G. Wagner","year":"1968","unstructured":"E. G. Wagner, Bounded action machines: toward an abstract theory of computer structure,Journal of Computer and System Sciences, 2, 13\u201375 (1968).","journal-title":"Journal of Computer and System Sciences"},{"key":"BF01776571_CR11","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF02246731","volume":"9","author":"E. G. Wagner","year":"1972","unstructured":"E. G. Wagner, Bounded action machines II: the basic structure of tapeless computers,Computing, 9, 211\u2013232 (1972).","journal-title":"Computing"},{"key":"BF01776571_CR12","unstructured":"R. Zumkeller, Strukturuntersuchungen an abstrakten Rechenmaschinen. Dissertation,Forschungsbericht Nr. 30,Abteilung Informatik, Universit\u00e4t Dortmund, 1976."}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01776571.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01776571\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01776571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T20:45:38Z","timestamp":1586292338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01776571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["BF01776571"],"URL":"https:\/\/doi.org\/10.1007\/bf01776571","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]}}}