{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:36:49Z","timestamp":1753889809373,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T00:00:00Z","timestamp":1435190400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>The paper introduces the notion of a weak bisimulation for coalgebras whose\ntype is a monad satisfying some extra properties. In the first part of the\npaper we argue that systems with silent moves should be modelled\ncoalgebraically as coalgebras whose type is a monad. We show that the visible\nand invisible part of the functor can be handled internally inside a monadic\nstructure. In the second part we introduce the notion of an ordered saturation\nmonad, study its properties, and show that it allows us to present two\napproaches towards defining weak bisimulation for coalgebras and compare them.\nWe support the framework presented in this paper by two main examples of\nmodels: labelled transition systems and simple Segala systems.<\/jats:p>","DOI":"10.2168\/lmcs-11(2:14)2015","type":"journal-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T13:13:12Z","timestamp":1479733992000},"source":"Crossref","is-referenced-by-count":5,"title":["Weak bisimulation for coalgebras over order enriched monads"],"prefix":"10.46298","volume":"Volume 11, Issue 2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8881-9341","authenticated-orcid":false,"given":"Tomasz","family":"Brengos","sequence":"first","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2015,6,25]]},"reference":[{"key":"925:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1574\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1574\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:06:43Z","timestamp":1681243603000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,25]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-11(2:14)2015","relation":{"is-same-as":[{"id-type":"arxiv","id":"1310.3656","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1310.3656","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2015,6,25]]},"article-number":"1574"}}