{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T15:15:12Z","timestamp":1692544512889},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,7,1]],"date-time":"1992-07-01T00:00:00Z","timestamp":709948800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1992,7]]},"DOI":"10.1007\/bf02276638","type":"journal-article","created":{"date-parts":[[2005,12,9]],"date-time":"2005-12-09T07:57:08Z","timestamp":1134115028000},"page":"5-18","source":"Crossref","is-referenced-by-count":4,"title":["Algebraic and functional specification of an interactive serializable database interface"],"prefix":"10.1007","volume":"6","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02276638_CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0167-6423(85)90010-3","volume":"5","author":"JA Bergstra","year":"1985","unstructured":"Bergstra JA, Tucker JV: Top-down design and the algebra of communicating processes. Sci Comput Program 5:171\u2013199 (1985)","journal-title":"Sci Comput Program"},{"key":"BF02276638_CR2","first-page":"125","volume-title":"IFIP TC2 Working Conference on formal description of programming concepts II, Garmisch, June 1982","author":"M Broy","year":"1983","unstructured":"Broy M: Fixed point theory for communication and concurrency. In: Bj\u00f6rner D (ed): IFIP TC2 Working Conference on formal description of programming concepts II, Garmisch, June 1982. North Holland, Amsterdam-New York-Oxford 1983, pp 125\u2013147"},{"key":"BF02276638_CR3","series-title":"NATO ASI Series. Series F: 8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-642-46490-4_18","volume-title":"Program transformation and programming environments","author":"M Broy","year":"1984","unstructured":"Broy M: Algebraic methods for program construction: the project CIP. In: Pepper P (ed) Program transformation and programming environments. NATO ASI Series. Series F: 8 Springer, Berlin Heidelberg New York 1984, pp 199\u2013222"},{"key":"BF02276638_CR4","series-title":"Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-15198-2_2","volume-title":"TAPSOFT 85. Lect.","author":"M Broy","year":"1985","unstructured":"Broy M: Specification and top down design of distributed programs. In: Ehrig H (eds) TAPSOFT 85. Lect. Notes Comput. Sci., vol 185. Springer, Berlin Heidelberg New York 1985, pp 4\u201328"},{"key":"BF02276638_CR5","doi-asserted-by":"crossref","unstructured":"Broy M: Predicative specifications for functional programs describing communicating networks. Inf Process Lett 25(2):93\u2013101","DOI":"10.1016\/0020-0190(87)90227-4"},{"issue":"11","key":"BF02276638_CR6","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"KP Eswaran","year":"1976","unstructured":"Eswaran KP, Gray JN, Lorie RA, Traiger IL: The notions of consistency and predicate locks in a database system. Comm ACM 19(11):624\u2013633 (1976)","journal-title":"Comm ACM"},{"key":"BF02276638_CR7","doi-asserted-by":"crossref","unstructured":"Ginzburg A: Algebraic theory of automata. Academic Press 1968","DOI":"10.1016\/B978-1-4832-0013-2.50009-6"},{"key":"BF02276638_CR8","unstructured":"Hoare CAR: Communicating sequential programs. Prentice Hall International 1985"},{"key":"BF02276638_CR9","series-title":"Lect Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0039609","volume-title":"STACS 87","author":"S Kaplan","year":"1987","unstructured":"Kaplan S, Pnueli A: Specification and implementation of concurrently accessed data structures: an abstract data type approach. In: Brandenburg FJ, Vidal-Naquet G, Wirsing M (eds) STACS 87. Lect Notes Comput. Sci., vol. 247. Springer, Berlin Heidelberg New York 1987, pp 220\u2013244"},{"key":"BF02276638_CR10","unstructured":"Lamport L: A simple approach to specifying concurrent systems. DIGITAL Systems Research Report 15, December 1986"},{"key":"BF02276638_CR11","unstructured":"Lamport L: A serializable database interface. Lake Arrowhead Workshop 1987"},{"key":"BF02276638_CR12","doi-asserted-by":"crossref","unstructured":"Lynch NA, Tuttle MR: Hierarchical correctness proofs for distributed systems. Proceedings of the ACM Symposium on Principles of Distributed Computing, Vancouver, B.C., August 1987","DOI":"10.1145\/41840.41852"},{"key":"BF02276638_CR13","doi-asserted-by":"crossref","unstructured":"Milner R: A calculus of communicating systems. Lect. Notes Comput. Sci. 82 (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"BF02276638_CR14","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BFb0014668","volume-title":"Program construction","author":"S Owicki","year":"1979","unstructured":"Owicki S: Specifications and proofs for abstract data types in concurrent programs. In: Bauer FL, Broy M (eds) Program construction. Lect. Notes Comput. Sci., vol 69. Springer, Berlin Heidelberg New York 1979, pp 174\u2013197"},{"key":"BF02276638_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M Wirsing","year":"1983","unstructured":"Wirsing M, Pepper P, Partsch H, Dosch W, Broy M: On hierarchies of abstract data types. Acta Inf. 20:1\u201333 (1983)","journal-title":"Acta Inf."}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02276638.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02276638\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02276638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T12:57:35Z","timestamp":1586609855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02276638"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,7]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,7]]}},"alternative-id":["BF02276638"],"URL":"https:\/\/doi.org\/10.1007\/bf02276638","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,7]]}}}