{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:25Z","timestamp":1725663445361},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540518037"},{"type":"electronic","value":"9783540468110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51803-7_33","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:16:00Z","timestamp":1330204560000},"page":"324-350","source":"Crossref","is-referenced-by-count":19,"title":["Abstract object types: A temporal perspective"],"prefix":"10.1007","author":[{"given":"A.","family":"Sernadas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.-D.","family":"Ehrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"15_CR1","unstructured":"Carmo, J., \"The Infolog Branching Logic of Events\", Information Systems: Theoretical and Formal Aspects, Sernadas, A., Bubenko, J. and Oliv\u00e9, A. (eds), North Holland, 1985."},{"key":"15_CR2","unstructured":"Castilho, J., Casanova, M. and Furtado, A., \"A Temporal Framework for Database Specification\", Proc. 8th VLDB, Mexico City, 1982."},{"key":"15_CR3","unstructured":"Ehrich, H.-D., Drosten, K. and Gogolla, M., \"Towards an Algebraic Semantics for Database Specification\", Knowledge and Data (DS-2), Meersman, R. and Sernadas, A. (eds), Proc. IFIP WG 2.6 Working Conference, Albufeira, 1986, North-Holland (to appear)."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D., \"Key Extensions of Abstract Data Types, Final Algebras and Database Semantics\", Proc. Workshop on Category Theory and Computer Programming, Pitt, D. et al (eds), Springer-Verlag, 1986.","DOI":"10.1007\/3-540-17162-2_135"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig, H. and Mahr, B., Fundamentals of Algebraic Specification I, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"15_CR6","unstructured":"Ehrich, H.-D., Sernadas, A. and Sernadas, C., \"Semantics of Object-Oriented Databases: Complex Objects\", 1988 (to be published)."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J. and Sernadas, A., \"The Infolog Linear Tense Propositional Logic of Events and Transactions\", Information Systems, 11[1], 1986.","DOI":"10.1016\/0306-4379(86)90023-2"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J. and Sernadas, A., \"Specification and Verification of Database Dynamics\", Acta Informatica, 1988 (in print).","DOI":"10.1007\/BF00291052"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Hoare, C., Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"15_CR10","unstructured":"Kripke, S., \"Semantical Considerations on Modal Logics\", Acta Philosophica Fennica \u2014 Modal and Many-valued Logics, 1963."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli, A., \"The Temporal Logic of Program\", Proc. 18th FOCS, Providence, RI, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A., \"The Temporal Semantics of Concurrent Programs\", Proc. Symp. on Semantics of Concurrent Computations, Evian, Springer-Verlag, 1979.","DOI":"10.1007\/BFb0022460"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Sernadas, A., \"Temporal Aspects of Logical Procedure Definition\", Information Systems, 5[3], 1980.","DOI":"10.1016\/0306-4379(80)90009-5"},{"key":"15_CR14","volume-title":"Proc.13th VLDB","author":"A. Sernadas","year":"1987","unstructured":"Sernadas, A., Sernadas, C. and Ehrich, H.-D., \"Object-Oriented Specification of Databases: An Algebraic Approach\", Proc.13th VLDB, Stocker, P. and Kent, W. (eds), Morgan-Kaufmann Publ. Inc., Los Altos, 1987."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic in Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51803-7_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:54Z","timestamp":1605648174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51803-7_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540518037","9783540468110"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-51803-7_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}