{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:20:18Z","timestamp":1742386818743},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534907"},{"type":"electronic","value":"9783642763090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-76309-0_9","type":"book-chapter","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T13:53:11Z","timestamp":1341928391000},"page":"150-171","source":"Crossref","is-referenced-by-count":10,"title":["Grundkonzepte und Realisierungsstrategien des ConTract-Modells"],"prefix":"10.1007","author":[{"given":"Helmut","family":"W\u00e4chter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Reuter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Bal, H.E., Steiner, J.G., Tanenbaum, A.S.: Programming Languges for Distributed Systems. ACM Comput. Surveys, Vol. 21, No.3, (1989)"},{"key":"9_CR2","volume-title":"The Architecture of the EXODUS Extensible DBMS","author":"MJ Carey","year":"1986","unstructured":"Carey, M.J., De Witt, D.J., Frank, D., Graefe, G., Muralikrishna, M., Richardson, J.E., Shekita, E.J.: The Architecture of the EXODUS Extensible DBMS. Proc. Int. Workshop on Object-Oriented Database Systems, Pacific Grove 1986"},{"key":"9_CR3","series-title":"Distributed Computing","volume-title":"Understanding naming in distributed systems","author":"DE Comer","year":"1989","unstructured":"Comer, D.E., Peterson, L.L.: Understanding naming in distributed systems. Distributed Computing, Berlin, Heidelberg, New York: Springer 1989"},{"key":"9_CR4","series-title":"ACM SIGMOD","volume-title":"Organizing Long-Running Activities with Triggers and Transactions","author":"U Dayal","year":"1990","unstructured":"Dayal, U., Hsu, M., Ladin, R.: Organizing Long-Running Activities with Triggers and Transactions. ACM SIGMOD 1990"},{"key":"9_CR5","unstructured":"Garcia-Molina, H., Polyzois, C.A., Hagmann, R.: Two Epoch Algorithms For Disaster Recovery. Princeton University, Department of Computer Science"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Notes on Database Operating Systems","author":"J Gray","year":"1978","unstructured":"Gray, J.: Notes on Database Operating Systems. Lecture Notes in Computer Science, Vol. 60, New York: Springer 1978"},{"key":"9_CR7","volume-title":"The Transaction Concept: Virtues and Limitations","author":"J Gray","year":"1981","unstructured":"Gray, J.: The Transaction Concept: Virtues and Limitations. Proc. VLDB, Cannes, Sept. 1981"},{"key":"9_CR8","unstructured":"Proc. 3rd Int. Workshop on High Performance Transaction Systems, Asilomar 1989"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/7239.7265","volume":"11","author":"P Oneil","year":"1986","unstructured":"ONeil, P.: The Escrow Transaction Method. ACM Trans. Database Syst., Vol. 11, No. 4, pp. 405\u2013430 (1986)","journal-title":"ACM Trans. Database Syst."},{"key":"9_CR10","volume-title":"Migrating Transactions","author":"J Klein","year":"1988","unstructured":"Klein, J., Reuter, A.: Migrating Transactions. Proc. Workshop on the Future Trends of Distributed Computing Systems, Hong Kong, IEEE, Sept. 1988"},{"key":"9_CR11","volume-title":"Formal Model of Correctness Without Serializability","author":"HF Korth","year":"1988","unstructured":"Korth, H.F., Speegle, G.D.: Formal Model of Correctness Without Serializability. Proc. ACM SIGMOD 1988"},{"key":"9_CR12","volume-title":"Universit\u00e4t Karlsruhe, Fak. f. Informatik, Diss.","author":"A Kotz","year":"1988","unstructured":"Kotz, A.: Triggermechanismen zur Wahrung der Konsistenz von Entwurfsdaten in Datenbanksystemen. Universit\u00e4t Karlsruhe, Fak. f. Informatik, Diss. 1988"},{"key":"9_CR13","unstructured":"Format and Protocol Reference Manual: Architecture Logic For LU Type 6.2 IBM Dez. 1985"},{"key":"9_CR14","volume-title":"Universit\u00e4t Kaiserslautern Fachbereich Informatik, Diss.","author":"P Peinl","year":"1986","unstructured":"Peinl, P.: Synchronisation in zentralisierten Datenbanksystemen. Universit\u00e4t Kaiserslautern Fachbereich Informatik, Diss. 1986"},{"key":"9_CR15","series-title":"Proc. ACM SIGMOD","volume-title":"High Contention in a Stock Trading Database \u2014 A Case Study","author":"P Peinl","year":"1988","unstructured":"Peinl, P., Reuter, A., Summer, H.: High Contention in a Stock Trading Database \u2014 A Case Study. Proc. ACM SIGMOD 1988"},{"key":"9_CR16","volume-title":"Concurrency on High-Traffic Data Elements","author":"A Reuter","year":"1982","unstructured":"Reuter, A.: Concurrency on High-Traffic Data Elements. Proc. PODS 1982"},{"key":"9_CR17","volume-title":"Datenbankhandbuch","author":"A Reuter","year":"1987","unstructured":"Reuter, A.: Ma\u00dfnahmen zur Wahrung von Sicherheits- und Integrit\u00e4tsbedingungen. in: Lockemann, P.C., Schmidt, J.W. (Hersg.): Datenbankhandbuch, Berlin, Heidelberg, New York: Springer 1987"},{"key":"9_CR18","volume-title":"Managing Distributed Applications with ConTracts","author":"A Reuter","year":"1989","unstructured":"Reuter, A.: Managing Distributed Applications with ConTracts. Proc. Workshop on High Transaction Systems, Asilomar, Sept. 1989"},{"key":"9_CR19","volume-title":"Neue Transaktionskonzepte","author":"A Reuter","year":"1990","unstructured":"Reuter, A., W\u00e4chter, H.: Neue Transaktionskonzepte. Universit\u00e4t Stuttgart, Technischer Bericht, 1990; zur Ver\u00f6ffentlichung vorgesehen"},{"key":"9_CR20","volume-title":"High Performance Distributed Transaction Processing in a General Purpose Computing Environment","author":"AZ Spector","year":"1987","unstructured":"Spector, A.Z., Eppinger, J.L., Daniels, D.S., Draves, R., Bloch, J.J., Duchamp, D., Pausch, R.F., Thompson, D.: High Performance Distributed Transaction Processing in a General Purpose Computing Environment. Proc. 2nd Int. Workshop on High Performance Transaction Systems Asilomar Sept. 1987"},{"key":"9_CR21","unstructured":"System Description Manual, Tandem Computers Inc., Cupertino, CA, 1985"},{"key":"9_CR22","series-title":"IEEE Trans. Comp.","doi-asserted-by":"crossref","DOI":"10.21236\/ADA200979","volume-title":"Commutativity-Based Concurrency Control for Abstract Data Types","author":"WE Weihl","year":"1988","unstructured":"Weihl, W.E.: Commutativity-Based Concurrency Control for Abstract Data Types. IEEE Trans. Comp., Vol. 37, No. 12 (1988)"},{"key":"9_CR23","first-page":"173","volume":"6","author":"B Walter","year":"1982","unstructured":"Walter, B.: A Robust and Efficient Protocol for Checking the Availability of Remote Sites. Comp. Networks No. 6, pp. 173\u2013188 (1982)","journal-title":"Comp. Networks"}],"container-title":["Informatik-Fachberichte","Entwurf und Betrieb verteilter Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76309-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:53:24Z","timestamp":1606272804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76309-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534907","9783642763090"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76309-0_9","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1990]]}}}