{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:15:14Z","timestamp":1725459314198},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540548696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0038182","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:20:09Z","timestamp":1138202409000},"page":"54-68","source":"Crossref","is-referenced-by-count":4,"title":["Axioms for concurrent processes"],"prefix":"10.1007","author":[{"given":"Armin B.","family":"Cremers","sequence":"first","affiliation":[]},{"given":"Thomas N.","family":"Hibbard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Informatik-Fachberichte 1","author":"A. B. Cremers","year":"1976","unstructured":"Cremers, Armin B. and Hibbard, T.N. The Semantic Definition of Programming Languages in Terms of their Data Spaces, 4th Conference on \u201cProgramming Languages,\u201d German Computer Society, Erlangen, March 1976, Informatik-Fachberichte 1, Springer-verlag, 1\u201311, 1976."},{"key":"4_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":"-, 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":"4_CR3","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1109\/TSE.1978.233862","volume":"4","author":"A. B. Cremers","year":"1978","unstructured":"-, Formal Modelling of Virtual Machines, IEEE Transactions on Software Engineering 4, 426\u2013436, 1978.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"-, A Programming Notation for Locally Synchronized Algorithms, in VLSI: Algorithms and Architectures, P. Bertolazzi and F. Luccio, eds., 341\u2013376, North-Holland, 1985.","key":"4_CR4"},{"unstructured":"-, Executable Specification of Concurrent Algorithms in Terms of Applicative Data Space Notation, in VLSI and Modern Signal Processing, S.Y. Kung, H.J. Whitehouse and T. Kailath eds., 200\u2013223, Prentice-Hall, 1985.","key":"4_CR5"},{"unstructured":"-, Subspaces: Factorization and Communication, in Computational and Combinatorial Methods in Systems Theory, Christopher I. Byrnes and Anders Lindquist eds., 383\u2013396, North-Holland 1986.","key":"4_CR6"}],"container-title":["Lecture Notes in Computer Science","New Results and New Trends in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0038182.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:22:53Z","timestamp":1607552573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0038182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540548696"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0038182","relation":{},"subject":[]}}