文章基本信息

标题：Weak bisimulation for coalgebras over order enriched monads
本地全文：下载
作者：Tomasz Brengos
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2015
卷号：11
期号：2
页码：1
DOI：10.2168/LMCS-11(2:14)2015
出版社：Technical University of Braunschweig
摘要：The paper introduces the notion of a weak bisimulation for coalgebras whose type is a monad satisfying some extra properties. In the first part of the paper we argue that systems with silent moves should be modelled coalgebraically as coalgebras whose type is a monad. We show that the visible and invisible part of the functor can be handled internally inside a monadic structure. In the second part we introduce the notion of an ordered saturation monad, study its properties, and show that it allows us to present two approaches towards defining weak bisimulation for coalgebras and compare them. We support the framework presented in this paper by two main examples of models: labelled transition systems and simple Segala systems.
其他关键词：coalgebra, bisimulation, weak bisimulation, saturation, monad, ordered saturation monad, logic, topology, internal transition, Kleisli algebra, silent transition.