{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:50Z","timestamp":1725664730921},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616290"},{"type":"electronic","value":"9783540706427"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61629-2_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:07:59Z","timestamp":1330294079000},"page":"436-457","source":"Crossref","is-referenced-by-count":9,"title":["Context institutions"],"prefix":"10.1007","author":[{"given":"Wies\u0142aw","family":"Paw\u0142owski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"No.4","key":"26_CR1","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"K.R. Apt","year":"1981","unstructured":"K.R. Apt. Ten years of Hoare logic: A survey\u2014Part 1. ACM Transactions on Programming Languages and Systems Vol. 3, No. 4, pp. 431\u2013483, 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR2","unstructured":"M. Bidoit and A. Tarlecki. Behavioral satisfaction and equivalence in concrete model categories. Technical report, full version."},{"key":"26_CR3","unstructured":"R. Diaconescu, J. Goguen, and P. Stefaneas. Logical Support for Modularisation. In G. Huet and G. Plotkin, editors, Logical Environments, pp. 83\u2013130, Cambridge University Press, 1993."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Burstall. Introducing Institutions. In Proceedings, Logics of Programming Workshop, LNCS 164, pp. 221\u2013256, Springer-Verlag, 1984.","DOI":"10.1007\/3-540-12896-4_366"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Burstall. A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In D. Pitt, S. Abramsky, A Poign\u00e9, and D. Rydeheard, editors, Proceedings, Conference on Category Theory and Computer Programming, LNCS 240, pp. 313\u2013333, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-17162-2_131"},{"issue":"1","key":"26_CR6","doi-asserted-by":"crossref","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 Association for Computing Machinery, 39(1), pp. 95\u2013146, January 1992.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"R. Harper, D. Sannella, and A. Tarlecki. Logic Representation in LF. In D.H. Pitt, D.E. Rydeheard, P. Dybjer, A.M. Pitts, and A. Poign\u00e9, editors, Proceedings, Conference on Category Theory and Computer Science, Manchester 1989, LNCS 389, pp. 250\u2013272, Springer-Verlag, 1989.","DOI":"10.1007\/BFb0018356"},{"key":"26_CR8","volume-title":"Category Theory","author":"H. Herrlich","year":"1973","unstructured":"H. Herrlich and G.E. Strecker. Category Theory. Allyn and Bacon Inc, Boston, 1973."},{"key":"26_CR9","series-title":"Springer LNCS","first-page":"362","volume-title":"Recent Trends in Data Type Specifications","author":"T. Mossakowski","year":"1996","unstructured":"T. Mossakowski. Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras. Recent Trends in Data Type Specifications, 11th Workshop on Specification of Abstract Data Types, WADT11. Oslo Norway, September 1995, Springer LNCS, this volume, pp. 362\u2013376, Springer-Verlag 1996."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"A. Tarlecki. Bits and pieces of the theory of institutions. In D. Pitt, S. Abramsky, A Poign\u00e9, and D. Rydeheard, editors, Proceedings, Conference on Category Theory and Computer Programming, LNCS 240, pp. 334\u2013360, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-17162-2_132"},{"key":"26_CR11","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A. Tarlecki","year":"1991","unstructured":"A. Tarlecki, R. Burstall, and J. Goguen. Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories. Theoretical Computer Science, 91, pp. 239\u2013264, 1991.","journal-title":"Theoretical Computer Science"},{"key":"26_CR12","unstructured":"U. Wolter, R. Wess\u00e4ly, M. Klar, and F. Cornelius. Four Institutions: A Unified Presentation of Logical Systems for Specification. Bericht-Nr. 94-24, Technische Universit\u00e4t Berlin, 1994."},{"key":"26_CR13","unstructured":"E. Zucca. Building institutions of dynamic data-types. Talk presented during FLIRTS'95 Workshop, Genova, 26\u201328 October 1995."}],"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\/3-540-61629-2_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:50Z","timestamp":1605647330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61629-2_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616290","9783540706427"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61629-2_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}