๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Well-behaved Translations between Structural Operational Semantics

โœ Scribed by Hiroshi Watanabe


Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
374 KB
Volume
65
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

โœฆ Synopsis


We examine two versions of maps between distributive l a ws 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 l a ws come from the previous work on 2categories of distributive l a ws.


๐Ÿ“œ SIMILAR VOLUMES