{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:21:28Z","timestamp":1725898888683},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591320"},{"type":"electronic","value":"9783540491989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014442","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T18:08:44Z","timestamp":1134324524000},"page":"420-436","source":"Crossref","is-referenced-by-count":1,"title":["A theory-based topological notion of institution"],"prefix":"10.1007","author":[{"given":"Am\u00edlcar","family":"Sernadas","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Manuel","family":"Valen\u00e7a","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification, pages 44\u201372. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-50325-0_3"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro, A. Sernadas, and C. Sernadas. Knowledge bases as structured theories. In K. V. Nori, editor, Foundations of Software Technology and Theoretical Computer Science, pages 469\u2013486. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-50517-2_97"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Burstall. Introducing institutions. In E. Clarke and D. Kozen, editors, Proceedings of the Logics of Programming Workshop, pages 221\u2013256. Springer-Verlag, 1984.","DOI":"10.1007\/3-540-12896-4_366"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"23_CR6","unstructured":"P. Johnstone. Stone Spaces. Cambridge University Press, 1982."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"M. Kwiatkowska. On topological characterization of behavioural properties. In G. Reed, A. Roscoe, and R. Wachter, editors, Topology and Category Theory in Computer Science, pages 153\u2013177. Oxford University Press, 1991.","DOI":"10.1093\/oso\/9780198537601.003.0006"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0306-4379(87)90004-4","volume":"12","author":"U. Lipeck","year":"1987","unstructured":"U. Lipeck and G. Saake. Monitoring dynamic integrity constraints based on temporal logic. Information Systems, 12:255\u2013269, 1987.","journal-title":"Information Systems"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et al, editor, Proceedings of the Logic Colloquium, 1987. North-Holland, 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"A. Salibra and G. Scollo. A soft starway to institutions. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification, pages 310\u2013329. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56379-2_47"},{"key":"23_CR11","volume-title":"Research report","author":"A. Sernadas","year":"1993","unstructured":"A. Sernadas and C. Sernadas. Denotational semantics of object specification within an arbitrary temporal logic institution. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal, 1993. Presented at IS-CORE Workshop 93 \u2014 Submitted for publication."},{"key":"23_CR12","volume-title":"Research report","author":"A. Sernadas","year":"1994","unstructured":"A. Sernadas, C. Sernadas, and J. Valen\u00e7a. A topological view on institutions. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal, 1994. Available on the ftp server yoda.inesc.pt (146.193.1.5)."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"M. Smyth. Powerdomains and predicate transformers: A topological view. In J. Diaz, editor, Automata, Languages and Programming, pages 662\u2013675. Springer-Verlag, 1983.","DOI":"10.1007\/BFb0036946"},{"key":"23_CR14","unstructured":"S. Vickers. Topology Via Logic. Cambridge University Press, 1989."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"S. Vickers. Geometric logic in computer science. In G. Burn, S. Gay, and M. Ryan, editors, Theory and Formal Methods 1993, pages 37\u201354. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3503-6_4"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T17:32:06Z","timestamp":1706808726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014442"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0014442","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}