Pointwise extensions of GSOS-defined operations
From MaRDI portal
Publication:3005990
DOI10.1017/S096012951000054XzbMath1237.18004MaRDI QIDQ3005990
Helle Hvid Hansen, Bartek Klin
Publication date: 10 June 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items
Cites Work
- On the final sequence of a finitary set functor
- Category theory for operational semantics
- Bialgebraic methods and modal logic in structural operational semantics
- Universal coalgebra: A theory of systems
- Wreath product and infinite words
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- A fixpoint theorem for complete categories
- A New Representation of the Rational Numbers for Fast Easy Arithmetic
- THE WREATH PRODUCT PRINCIPLE FOR ORDERED SEMIGROUPS
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages