{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:25:36Z","timestamp":1725535536904},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030789"},{"type":"electronic","value":"9783642030796"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03079-6_16","type":"book-chapter","created":{"date-parts":[[2009,7,23]],"date-time":"2009-07-23T15:40:53Z","timestamp":1248363653000},"page":"201-218","source":"Crossref","is-referenced-by-count":1,"title":["System Consequence"],"prefix":"10.1007","author":[{"given":"Robert E.","family":"Kent","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1999","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs (1999)"},{"key":"16_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511895968","volume-title":"Information Flow: The Logic of Distributed Systems","author":"J. Barwise","year":"1997","unstructured":"Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)"},{"key":"16_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1999)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"Goguen, J.: A Categorical Manifesto. Math. Struc. Comp. Sci.\u00a01, 49\u201367 (1991)","journal-title":"Math. Struc. Comp. Sci."},{"unstructured":"Goguen, J.: Information Integration in Institutions. Draft paper for the Jon Barwise memorial volume edited by Moss, L. (2006)","key":"16_CR5"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract Model Theory for Specification and Programming. J. Assoc. Comp. Mach.\u00a039, 95\u2013146 (1992)","journal-title":"J. Assoc. Comp. Mach."},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2007.06.004","volume":"388","author":"M. Johnson","year":"2007","unstructured":"Johnson, M., Rosebrugh, R.: Fibrations and Universal View Updatability. Th. Comp. Sci.\u00a0388, 109\u2013129 (2007)","journal-title":"Th. Comp. Sci."},{"unstructured":"Kent, R.E.: Semantic Integration in the Information Flow Framework. In: Kalfoglou, Y., Schorlemmer, M., Sheth, A., Staab, S., Uschold, M. (eds.) Semantic Interoperability and Integration, Dagstuhl Research Online Publication Serve. Dagstuhl Seminar Proceedings, vol.\u00a004391 (2005)","key":"16_CR8"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/11524564_15","volume-title":"Conceptual Structures: Common Semantics for Sharing Knowledge","author":"M. Krotzsch","year":"2005","unstructured":"Krotzsch, M., Hitzler, P., Zhang, G.: Morphisms in Context. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) ICCS 2005. LNCS, vol.\u00a03596, pp. 223\u2013237. Springer, Heidelberg (2005)"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-7643-7304-0_7","volume-title":"Logica Universalis","author":"T. Mossakowski","year":"2005","unstructured":"Mossakowski, T., Goguen, J., Diaconescu, R., Tarlecki, A.: What is a Logic? In: Beziau, J.Y. (ed.) Logica Universalis, pp. 113\u2013133. Birkh\u00e4user, Basel (2005)"},{"key":"16_CR11","first-page":"239","volume":"91","author":"A. Tarlecki","year":"1991","unstructured":"Tarlecki, A., Burstall, R., Goguen, J.: Some Fundamental Algebraic Tools for the Semantics of Computation. Part 3: Indexed Categories. Th. Comp. Sci.\u00a091, 239\u2013264 (1991)","journal-title":"Part 3: Indexed Categories. Th. Comp. Sci."},{"unstructured":"The Information Flow Framework (IFF), \n                    \n                      http:\/\/suo.ieee.org\/IFF\/","key":"16_CR12"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Leveraging Semantic Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03079-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T06:37:03Z","timestamp":1552113423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03079-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030789","9783642030796"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03079-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}