Well-behaved translations between structural operational semantics (2002)
| Venue: | quasi-upper set, 52 readiness-aware relation, 53 ready CONCEPT INDEX 149 equivalence |
| Citations: | 3 - 0 self |
BibTeX
@INPROCEEDINGS{Watanabe02well-behavedtranslations,
author = {Hiroshi Watanabe},
title = {Well-behaved translations between structural operational semantics},
booktitle = {quasi-upper set, 52 readiness-aware relation, 53 ready CONCEPT INDEX 149 equivalence},
year = {2002},
pages = {148}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We examine two versions of maps between distributive laws as candidates for wellbehaved translations between structural operational semantics, and validate that by using simple coalgebraic arguments. We give some concrete examples of wellbehaved translations that are maps between distributive laws. The modelling of structural operational semantics uses Turi and Plotkin's categorical models of GSOS. These maps between distributive laws come from the previous work on 2-categories of distributive laws. 1
Citations
| 102 | Structural operational semantics - Aceto, Fokkink, et al. |
| 22 | Distributivity for Endofunctors, Pointed and Co-pointed Endofunctors, Monads and Comonads - Lenisa, Power, et al. - 2000 |
| 18 | Adjoint lifting theorems for categories of algebras - Johnstone - 1975 |
| 11 | Full abstraction for a simple programming language - Hennessy, Plotkin - 1979 |
| 3 | Review of the elements of 2-categories, Sydney Category - Kelly, Street - 1974 |
