𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Structural operational semantics for AKL

✍ Scribed by Seif Haridi; Sverker Janson; Catuscia Palamidessi

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
1017 KB
Volume
8
Category
Article
ISSN
0167-739X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

An Operational Semantics for Handel-C
An Operational Semantics for Handel-C
✍ Andrew Butterfield; Jim Woodcock πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 189 KB
LETOS – a lightweight execution tool for
LETOS – a lightweight execution tool for operational semantics
✍ Pieter H. Hartel πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 256 KB πŸ‘ 1 views

A lightweight tool is proposed to aid in the development of operational semantics. To use LETOS an operational semantics must be expressed in its meta-language, which itself is a superset of Miranda. The LETOS compiler is smaller than comparable tools, yet LETOS is powerful enough to support publica

Semantics for Algebraic Operations
Semantics for Algebraic Operations
✍ Gordon Plotkin; John Power πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 170 KB

Given a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form Ξ± x : (T x) n -β†’ T x provides a definitive semantics for algebraic operations added to the computational Ξ»-calculus. We recall a definition for which w