Modularity in Coalgebra
Modularity in Coalgebra
复制标题
DOI：
10.1016/j.entcs.2006.06.002
复制
发表时间：
2006-10-20
影响因子：
--
通讯作者：
Cirstea, Corina
中科院分区：
文献类型：
--
作者：
Cirstea, Corina
本文给出了一个概述的最新结果，有关模块化推导（一）模态规范逻辑，（二）模拟的概念连同逻辑特征，（三）健全和完整的公理化，为系统建模为集上的函子的余代数。我们的方法直接适用于归纳定义类的共代数类型，其中包括几种类型的离散状态为基础的系统，包括（概率）的过渡系统，概率自动机和空间过渡系统。
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisations, and (iii) sound and complete axiomatisations, for systems modelled as coalgebras of functors on Set. Our approach applies directly to an inductively-defined class of coalgebraic types, which subsumes several types of discrete state-based systems, including (probabilistic) transition systems, probabilistic automata and spatial transition systems.