Coalgebraic Semantics of Heavy-Weighted Automata

DOI10.1007/978-3-319-28114-8_4zbMath1472.68098OpenAlexW2555783209MaRDI QIDQ2787337

Marcello M. Bonsangue, Marie Fortin, Jan J. M. M. Rutten

Publication date: 25 February 2016

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28114-8_4

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

This page was built for publication: Coalgebraic Semantics of Heavy-Weighted Automata