scientific article

zbMath1276.68111MaRDI QIDQ2863892

Helle Hvid Hansen, Jan J. M. M. Rutten, David Goldstein Costa

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004683?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

synthesiscoalgebraderivativesstreamsMealy machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Related Items (4)

Finite automata and numbers ⋮ A formal abstract framework for modelling and testing complex software systems ⋮ Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) ⋮ Coalgebraising Subsequential Transducers

Uses Software

• Haskell

This page was built for publication: