Cellular Monads from Positive GSOS Specifications

Tom Hirschowitz
(Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, France)

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.

Invited Presentation in Jorge A. Pérez and Jurriaan Rot: Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019), Amsterdam, The Netherlands, 26th August 2019, Electronic Proceedings in Theoretical Computer Science 300, pp. 1–18.
Published: 22nd August 2019.

ArXived at: http://dx.doi.org/10.4204/EPTCS.300.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org