A Completeness Result for Finite λ-bisimulations

DOI10.1007/978-3-662-46678-0_8zbMath1467.68098OpenAlexW2173513144MaRDI QIDQ2948555

Joost Winter

Publication date: 1 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46678-0_8

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (1)

Unnamed Item

This page was built for publication: A Completeness Result for Finite λ-bisimulations