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
• DOI: 10.1016/s1571-0661(04)80372-4

✦ 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.