{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:13Z","timestamp":1725663493937},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540191216"},{"type":"electronic","value":"9783540391241"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19121-6_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:03:25Z","timestamp":1330200205000},"page":"128-158","source":"Crossref","is-referenced-by-count":1,"title":["A formal model for distributed information systems"],"prefix":"10.1007","author":[{"given":"Geert-Jan","family":"Houben","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Paredaens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"11","key":"8_CR1","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"K.P. Eswaran","year":"1976","unstructured":"K.P. Eswaran, J.N. Gray, R.A. Lorie and I.L. Traiger, The Notions of Consistency and Predicate Locks in a Relational Database System. Communications of the ACM, Vol. 19, No. 11, November 1976, pages 624\u2013633.","journal-title":"Communications of the ACM"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"R.C. Hansdah and L.M. Patnaik, Update Serializability in Locking, Proceedings of ICDT '86, Rome, September 1986.","DOI":"10.1007\/3-540-17187-8_36"},{"key":"8_CR3","unstructured":"G.J. Houben, J. Paredaens and K.M. van Hee, The Partition of an Information System in Several Parallel Systems. Computing Science Notes 86\/04, Eindhoven University of Technology, October 1986."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"G.J. Houben and J. Paredaens, A Formal Approach to Distributed Information Systems, Computing Science Notes 87\/03, Eindhoven University of Technology, January 1987.","DOI":"10.1007\/3-540-19121-6_8"},{"issue":"3","key":"8_CR5","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1145\/320263.320279","volume":"3","author":"G. Schlageter","year":"1978","unstructured":"G. Schlageter, Process Synchronization in Database Systems, ACM TODS, Vol. 3, No. 3, September 1978, pages 248\u2013271.","journal-title":"ACM TODS"},{"key":"8_CR6","unstructured":"H.F. Korth and A. Silberschatz, Database System Concepts, McGraw-Hill Book Company, 1986."}],"container-title":["Lecture Notes in Computer Science","MFDBS 87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19121-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:44Z","timestamp":1605644204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19121-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540191216","9783540391241"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-19121-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}