Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
复制标题
用匕首杀死 epsilon：具有代数标签结构的系统的联合代数研究
DOI：
--
复制
发表时间：
2014
影响因子：
1.1
通讯作者：
F. Zanasi
中科院分区：
文献类型：
--
作者：
F. Bonchi;Stefan Milius;Alexandra Silva;F. Zanasi
我们提出了一个抽象的框架，用于对具有内部行为的基于状态的系统进行建模，例如，由静默或ϵ-变迁给出。我们的方法使用带有参数不动点操作符†的Monad来给这些系统提供语义，并实现一个合理的内部跃迁抽象过程，其标记被视为自由么半群的单位。更广泛地说，我们的方法通过考虑状态系统的标号的代数结构来扩展基于状态的系统的标准余代数框架。这允许考虑广泛的其他示例，包括并发系统的Mazurkiewicz跟踪。
We propose an abstract framework for modeling state-based systems with internal behavior as e.g. given by silent or ϵ -transitions. Our approach employs monads with a parametrized fixpoint operator † to give a semantics to those systems and implement a sound procedure of abstraction of the internal transitions, whose labels are seen as the unit of a free monoid. More broadly, our approach extends the standard coalgebraic framework for state-based systems by taking into account the algebraic structure of the labels of their transitions. This allows to consider a wide range of other examples, including Mazurkiewicz traces for concurrent systems.
论代数之上的余代数
影响因子：
--
作者：
Balan A
通讯作者：
Balan A