scientific article; zbMATH DE number 2206362

zbMath1099.03029MaRDI QIDQ5317667

David Janin, Giacomo Lenzi

Publication date: 19 September 2005

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

zbMATH Keywords

\(\mu\)-calculusbisimulationtree topology

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

The monadic theory of finite representations of infinite words ⋮ The uniform measure of simple regular sets of infinite trees

This page was built for publication: