Bialgebraic foundations for the operational semantics of string diagrams
Bialgebraic foundations for the operational semantics of string diagrams
复制标题
字符串图运算语义的双代数基础
DOI：
10.1016/j.ic.2021.104767
复制
发表时间：
2021
影响因子：
1
通讯作者：
Bonchi F
中科院分区：
文献类型：
--
作者：
Bonchi F
Turi 和 Plotkin 的双代数语义是一种抽象方法，通过系统语法（编码为单子）和动态（内函子）之间的分配律来指定系统的操作语义。这种设置有助于表明语义规范（联合代数）是组合的。在这项工作中，我们使用双代数方法来导出字符串图的良好结构操作语义，这是一种图形语法，越来越多地用于跨不同学科的交互系统的研究。我们的分析依赖于将各种类别中的字符串图底层的二维运算表示为单子，并将它们的语义表示为该单子的分配律。作为概念证明，我们为通用字符串图解语言提供了双代数语义，该语言已用于对信号流图（控制理论）和 Petri 网（并发理论）进行建模。
Turi and Plotkin's bialgebraic semantics is an abstract approach to specifying the operational semantics of a system, by means of a distributive law between its syntax (encoded as a monad) and its dynamics (an endofunctor). This setup is instrumental in showing that a semantic specification (a coalgebra) is compositional.In this work, we use the bialgebraic approach to derive well-behaved structural operational semantics ofstring diagrams, a graphical syntax that is increasingly used in the study of interacting systems across different disciplines. Our analysis relies on representing the two-dimensional operations underlying string diagrams in various categories as a monad, and their semantics as a distributive law for that monad.As a proof of concept, we provide bialgebraic semantics for a versatile string diagrammatic language which has been used to model both signal flow graphs (control theory) and Petri nets (concurrency theory).
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
Brendan Fong
通讯作者：
Brendan Fong
Hoare vs Milner：比较图形框架中的同步与移动性
DOI：
--
发表时间：
2006
期刊：
GT-VC@CONCUR
影响因子：
--
作者：
Ivan Lanese;U. Montanari
通讯作者：
U. Montanari
影响因子：
--
作者：
Bonchi, Filippo;Sobocinski, Pawel;Zanasi, Fabio
通讯作者：
Zanasi, Fabio
影响因子：
1
作者：
Bonchi, Filippo;Sobocinski, Pawel;Zanasi, Fabio
通讯作者：
Zanasi, Fabio
内函子、指向和共指向内函子、单子和共单子的分布性
DOI：
10.1016/s1571-0661(05)80350-0
发表时间：
2000
期刊：
Circulation: Heart Failure
影响因子：
--
作者：
Marina Lenisa;J. Power;Hiroshi Watanabe
通讯作者：
Hiroshi Watanabe