Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2015.190
URN: urn:nbn:de:0030-drops-55343
URL: https://drops.dagstuhl.de/opus/volltexte/2015/5534/
Klin, Bartek ; Nachyla, Beata
Presenting Morphisms of Distributive Laws
| pdf-format: |
|
Abstract
A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watanabe.
BibTeX - Entry
@InProceedings{klin_et_al:LIPIcs:2015:5534,
author = {Bartek Klin and Beata Nachyla},
title = {{Presenting Morphisms of Distributive Laws}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {190--204},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Lawrence S. Moss and Pawel Sobocinski},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5534},
URN = {urn:nbn:de:0030-drops-55343},
doi = {10.4230/LIPIcs.CALCO.2015.190},
annote = {Keywords: coalgebra, bialgebra, distributive law, structural operational semantics}
}
| Keywords: | coalgebra, bialgebra, distributive law, structural operational semantics | |
| Seminar: | 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) | |
| Issue date: | 2015 | |
| Date of publication: | 28.10.2015 |
