Brzozowski’s and Up-To Algorithms for Must Testing

DOI10.1007/978-3-319-03542-0_1zbMath1426.68180MaRDI QIDQ2937778

Alexandra Silva, Damien Pous, Filippo Bonchi, Georgiana Caltais

Publication date: 12 January 2015

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1822/38259

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Automata Learning: A Categorical Perspective, A coalgebraic view on decorated traces