Cellular Monads from Positive GSOS Specifications
英文摘要：
We give a leisurely introduction to our abstract framework for operational semantics based on cellular monads on transition categories. Furthermore, we relate it for the first time to an existing format, by showing that all Positive GSOS specifications generate cellular monads whose free algebras are all compositional. As a consequence, we recover the known result that bisimilarity is a congruence in the generated labelled transition system.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
