Article ID Journal Published Year Pages File Type
10334333 Theoretical Computer Science 2011 27 Pages PDF
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
Bialgebras for structural operational semantics: An introduction
Authors
,