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

Structural operational semantics and bounded nondeterminism

โœ Scribed by Wan Fokkink; Thuy Duong Vu

Publisher
Springer-Verlag
Year
2003
Tongue
English
Weight
181 KB
Volume
39
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Structural operational semantics for AKL
Structural operational semantics for AKL
โœ Seif Haridi; Sverker Janson; Catuscia Palamidessi ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 1017 KB
Well-behaved Translations between Struct
Well-behaved Translations between Structural Operational Semantics
โœ Hiroshi Watanabe ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 374 KB

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