{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:13Z","timestamp":1725663673293},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512516"},{"type":"electronic","value":"9783540461821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51251-9_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:50:04Z","timestamp":1330185004000},"page":"53-67","source":"Crossref","is-referenced-by-count":4,"title":["Shared abstract data types: An algebraic methodology for their specification"],"prefix":"10.1007","author":[{"given":"A.","family":"Bondavalli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Francesco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Vaglini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"A. Albano, L. Cardelli, O. Orsini, \"Galileo: a strongly typed, interactive, conceptual language\", ACM TODS, Vol. 10, No. 2, August 1985.","DOI":"10.1145\/3857.3859"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"B. R. Badrinath, K. Ramamritham, \"Synchronizing transactions on objects\", IEEE Trans. on Comp., Vol. 37, No. 5, May 1988.","DOI":"10.1109\/12.4605"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"P.A. Bernstein, N. Goodman: \"Concurrency Control in Distributed DatabaseSystems\"; ACM Computing Surveys Vol. 13, No. 2, June 1981.","DOI":"10.1145\/356842.356846"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"K. L. Chung, D. Rios-Zertuche, B. A. Nixon, J. Mylopoulos, \"Process management and assertion enforcement for a semantic data model\", EDBT '88, LNCS 303, Venice, March 1988.","DOI":"10.1007\/3-540-19074-0_68"},{"key":"5_CR5","unstructured":"M. Corti, \"Algebraic specification and implementation of shared abstract data types\", Th. Dissertation, forthcoming as Int. Rep., Comp. Sci. Dep., Univ. of Pisa."},{"key":"5_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of algebraic specification 1","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, Springer-Verlag, Berlin 1985"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"K.P. Eswaran, J.N. Gray, et al.: \"The notion of Consistency and Predicate Locks in a Database System\"; Communications of the ACM Vol.19, No. 11, Nov 1976.","DOI":"10.1145\/360363.360369"},{"issue":"2","key":"5_CR8","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1145\/319983.319985","volume":"8","author":"H. Garcia-Molina","year":"1983","unstructured":"H. Garcia-Molina, \"Using semantic knowledge for transaction processing in a distributed database\", ACM Trans. Database Syst., 8, 2 (June 1983), pp. 186\u2013213.","journal-title":"ACM Trans. Database Syst."},{"key":"5_CR9","unstructured":"J.A. Goguen, J.W. Tatcher, E.G. Wagner \"An initial algebra approach to the specification, correctness and implementation of abstract data types\"; Recent trends in Programming methodology IV, (Yeh ed.) Prentice Hall 1978."},{"key":"5_CR10","unstructured":"J.A. Goguen, Jose'Meseguer: \"An initiality Primer\" SRI International, Computer Science Laboratory, Menlo Park, CA"},{"key":"5_CR11","series-title":"IBM Res. Rept.","volume-title":"A transaction model","author":"J. Gray","year":"1980","unstructured":"J. Gray, \"A transaction model\" IBM Res. Rept. RJ2895, IBM Research Lab., San Jos\u00e8, Calif., Aug. 1980"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"M.P. Herlihy, J. M. Wing, \"Axioms for concurrent objects\", ACM 1987","DOI":"10.21236\/ADA200584"},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/322358.322363","volume":"30","author":"H. F. Korth","year":"1983","unstructured":"H. F. Korth, \"Locking primitives in database systems\", J. ACM, Vol.30, January 1983, pp. 55\u201379.","journal-title":"J. ACM"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"H. F. Korth, G. D. Speegle, \"Formal model of correctness without Serializability\", ACM, 1988, pp. 379\u2013386.","DOI":"10.1145\/971701.50248"},{"key":"5_CR15","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/3-540-10571-9_11","volume-title":"Distributed Systems: Architecture and implementation","author":"B. Lampson","year":"1981","unstructured":"B. Lampson, \"Atomic transactions\", Distributed Systems: Architecture and implementation, LNCS 105, Springer-Verlag, Berlin 1981, pp. 246\u2013265."},{"issue":"3","key":"5_CR16","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/2166.357215","volume":"5","author":"B. Liskov","year":"1983","unstructured":"B. Liskov, R. Scheifler, \"Guardians and actions: linguistic support for robust, distributed programs\", ACM TOPLAS, Vol.5, No.3, July 1983, pp.381\u2013444.","journal-title":"ACM TOPLAS"},{"key":"5_CR17","unstructured":"N. Lynch, M. Merrit, W. Weihl, A. Fekete \"A theory of atomic transactions\", ICDT '88, LNCS 326, Springer-Verlag, pp. 278\u2013305."},{"key":"5_CR18","unstructured":"J.E.B. Moss, \"Nested transactions: an approach to reliable distributed computing\", MIT Press, 1985."},{"key":"5_CR19","series-title":"CMU Rept","volume-title":"Recovery of shared abstract types","author":"P.M. Schwarz","year":"1983","unstructured":"P.M. Schwarz, A.Z. Spector, \"Recovery of shared abstract types\" CMU Rept, CMU-CS-83-151, Carnegie-Mellon University, Pittsburgh, Pa., Oct. 1983"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"P.M. Schwarz, A.Z. Spector, \"Synchronizing shared abstract types\", A.C.M. Trans. on Comp. systems Vol. 2, No. 3, Aug 1984.","DOI":"10.1145\/989.1188"},{"key":"5_CR21","unstructured":"A. Sernadas, C. Sernadas, \"Object-oriented specification of databases: an algebraic approach\", 13th VLDB Conf., Brighton 1987."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"W. Weihl, B. Liskov, \"Implementation of resilient, atomic data types\" ACM TOPLAS, Vol.7, No.2, April 85, pp. 244\u2013269.","DOI":"10.1145\/3318.3319"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"G. Weikum, \"A theoretical foundation of multi-level concurrency control, 5th ACM Symp. on PODS, 1986.","DOI":"10.1145\/6012.15401"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"C. Beeri, H. J. Schek, G. Weikum, \"Multi-level transaction management, Theoretical art or practical need?\" EDBT '88, LNCS 303, Springer-Verlag, pp. 134\u2013154.","DOI":"10.1007\/3-540-19074-0_51"}],"container-title":["Lecture Notes in Computer Science","MFDBS 89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51251-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:20:28Z","timestamp":1605630028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51251-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512516","9783540461821"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-51251-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}