{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T06:17:05Z","timestamp":1648880225726},"reference-count":21,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3681,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,7]]},"DOI":"10.1016\/s1571-0661(04)80646-7","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"303-320","source":"Crossref","is-referenced-by-count":0,"title":["Modal Logics for Observation Equivalences"],"prefix":"10.1016","volume":"82","author":[{"given":"Jan","family":"Rothe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dragan","family":"Ma\u0161ulovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB1","doi-asserted-by":"crossref","unstructured":"C. Ci\u00eerstea. Institutionalising many-sorted coalgebraic modal logic. In L. Moss, editor, Proceedings of CMCS 2002, number 65.1 in ENTCS, 2002.","DOI":"10.1016\/S1571-0661(04)80359-1"},{"issue":"1","key":"10.1016\/S1571-0661(04)80646-7_NEWBIB2","first-page":"47","article-title":"A 2-categorical approach to change of base and geometric morphisms I","volume":"32","author":"Carboni","year":"1991","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"issue":"5","key":"10.1016\/S1571-0661(04)80646-7_NEWBIB3","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1017\/S0960129501003590","article-title":"Coalgebras of bounded type","volume":"12","author":"Gumm","year":"2002","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB4","doi-asserted-by":"crossref","unstructured":"M. Hennessy and R. Milner. On observing nondeterminism and concurrency. In J. W. de Bakker and J. van Leeuwen, editors, Proceedings 7th ICALP, Noordwijkerhout, volume 85 of Lecture Notes in Computer Science, pages 299\u2013309. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10003-2_79"},{"issue":"1","key":"10.1016\/S1571-0661(04)80646-7_NEWBIB5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","article-title":"Algebraic laws for nondeterminism and concurrency","volume":"32","author":"Hennessy","year":"1985","journal-title":"Journal of the ACM"},{"issue":"1","key":"10.1016\/S1571-0661(04)80646-7_NEWBIB6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1051\/ita:2001108","article-title":"Many-sorted coalgebraic modal logic: a model-theoretic study","volume":"35","author":"Jacobs","year":"2001","journal-title":"Theoret. Informatics and Applications"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB7","doi-asserted-by":"crossref","unstructured":"A. Kurz. Specifying coalgebras with modal logic. In H. Reichel B. Jacobs, L. Moss and J. Rutten, editors, Proceedings of CMCS, volume 11 of ENTCS, 1998.","DOI":"10.1016\/S1571-0661(04)00053-2"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB8","doi-asserted-by":"crossref","unstructured":"D. Ma\u0161ulovi\u0107. Towards coalgebraic behaviourism. In L. Moss, editor, Proceedings of CMCS, number 65.1 in ENTCS, 2002.","DOI":"10.1016\/S1571-0661(04)80365-7"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB9","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","article-title":"Coalgebraic logic","volume":"96","author":"Moss","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB10","doi-asserted-by":"crossref","unstructured":"D. Pattinson. Semantical principles in the modal logic of coalgebras. In A. Ferreira and H. Reichel, editors, Proceedings of STACS, volume 2010 of LNCS. Springer, 2001.","DOI":"10.1007\/3-540-44693-1_45"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB11","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","article-title":"An approach to object semantics based on terminal coalgebras","volume":"5","author":"Reichel","year":"1995","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB12","unstructured":"J. Rothe and D. Ma\u0161ulovi\u0107. A theory of observation equivalences for coalgebras. In preparation. Preliminary version available on request."},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB13","doi-asserted-by":"crossref","unstructured":"J. Rothe and D. Ma\u0161ulovi\u0107. Towards weak bisimulation for coalgebras. In A. Kurz, editor, Proceedings of CMCIM'2002, number 68.1 in ENTCS, 2002.","DOI":"10.1016\/S1571-0661(04)80499-7"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB14","doi-asserted-by":"crossref","unstructured":"J. Rothe and D. Ma\u0161ulovi\u0107. Towards weak bisimulation for coalgebras. Technical report, Technische Universit\u00e4t Dresden, September 2002. Extended Version of the CMCIM'2002 Paper.","DOI":"10.1016\/S1571-0661(04)80499-7"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB15","doi-asserted-by":"crossref","unstructured":"M. R\u00f6\u00dfiger. Coalgebras and modal logic. In H. Reichel, editor, Proceedings of CMCS 2000, volume 33 of ENTCS, 2000.","DOI":"10.1016\/S1571-0661(05)80353-6"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB16","doi-asserted-by":"crossref","unstructured":"M. R\u00f6\u00dfiger. Coalgebras, Clone Theory and Modal Logic. PhD thesis, Univ. of Dresden, Germany, 2000.","DOI":"10.1016\/S1571-0661(05)80353-6"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB17","doi-asserted-by":"crossref","unstructured":"J. Rothe. A syntactical approach to weak bisimulation for coalgebras. In L. Moss, editor, Proceedings of CMCS, number 65.1 in ENTCS, 2002.","DOI":"10.1016\/S1571-0661(04)80368-2"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB18","doi-asserted-by":"crossref","unstructured":"J. Rutten. Relators and metric bisimulations (extended abstract). In Proceedings of CMCS'98, number 11 in ENTCS, 1998.","DOI":"10.1016\/S1571-0661(04)00063-5"},{"issue":"1","key":"10.1016\/S1571-0661(04)80646-7_NEWBIB19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: a theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB20","series-title":"Texts in Computer Science","article-title":"Modal and Temporal Properties of Processes","author":"Stirling","year":"2001"},{"key":"10.1016\/S1571-0661(04)80646-7_NEWBIB21","unstructured":"H. Tews. Coalgebraic Specification and Verification. PhD thesis, Dresden University of Technology, 2002."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806467?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806467?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:13:32Z","timestamp":1585898012000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S1571066104806467"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80646-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}