We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Pointwise extensions of GSOS-defined operations.
- Authors
HANSEN, HELLE HVID; KLIN, BARTEK
- Abstract
Final coalgebras capture system behaviours such as streams, infinite trees and processes. Algebraic operations on a final coalgebra can be defined by distributive laws (of a syntax functor Σ over a behaviour functor F). Such distributive laws correspond to abstract specification formats. One such format is a generalisation of the GSOS rules known from structural operational semantics of processes. We show that given an abstract GSOS specification ρ that defines operations σ on a final F-coalgebra, we can systematically construct a GSOS specification ρ that defines the pointwise extension σ of σ on a final FA-coalgebra. The construction relies on the addition of a family of auxiliary ‘buffer’ operations to the syntax. These buffer operations depend only on A, so the construction is uniform for all σ and F.
- Subjects
ABSTRACT algebra; DISTRIBUTIVE law (Mathematics); FUNCTOR theory; RING extensions (Algebra); COMPUTER operating systems; SET theory; ALGEBRA
- Publication
Mathematical Structures in Computer Science, 2011, Vol 21, Issue 2, p321
- ISSN
0960-1295
- Publication type
Article
- DOI
10.1017/S096012951000054X