Pointwise extensions of GSOS-defined operations

DOI10.1017/S096012951000054XMaRDI QIDQ3005990zbMATH OpenFDO

Authors Helle Hvid Hansen, Bartek Klin

Publication date 10 June 2011

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S096012951000054X

zbMATH Keywords

coalgebradistributive lawGSOS-specification

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Theory of computing (68Q99)

Recommendations

• One-point extension of the algebra of incompletely specified operations
• Generalized one-point extensions
• scientific article; zbMATH DE number 3867403
• THE g-OPERATIONAL CALCULUS
• An extension of pointwise circumscription
• On operations of extension sets
• On the extensions of suboperators
• scientific article; zbMATH DE number 13169
• scientific article; zbMATH DE number 3867404

Cites work

• A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
• A fixpoint theorem for complete categories
• A New Representation of the Rational Numbers for Fast Easy Arithmetic
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Bialgebraic methods and modal logic in structural operational semantics
• Category theory for operational semantics
• On the final sequence of a finitary set functor
• THE WREATH PRODUCT PRINCIPLE FOR ORDERED SEMIGROUPS
• Universal coalgebra: A theory of systems
• Wreath product and infinite words

Cited in

(4)

• Rational operational models
• On the specification of operations on the rational behaviour of systems
• Bialgebras for structural operational semantics: an introduction
• On graded monads, distributive laws and costrong functors

This page was built for publication: Pointwise extensions of GSOS-defined operations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3005990)