Bialgebras for structural operational semantics: An introduction
Bialgebras for structural operational semantics: An introduction
复制标题
DOI：
10.1016/j.tcs.2011.03.023
复制
发表时间：
2011-09-02
影响因子：
1.1
通讯作者：
Klin, Bartek
中科院分区：
文献类型：
--
作者：
Klin, Bartek
双代数和分配律是一个抽象的范畴框架，用于研究各种类型的结构运算语义。本文旨在向读者介绍用于操作语义的双代数的基础知识，并概述该研究领域的最新进展。(C)2011年，由爱思唯尔出版。
Bialgebras and distributive laws are an abstract, categorical framework to study various flavors of structural operational semantics. This paper aims to introduce the reader to the basics of bialgebras for operational semantics, and to sketch the state of the art in this research area. (C) 2011 Published by Elsevier B.V.