scientific article
From MaRDI portal
Publication:3746904
zbMath0607.68059MaRDI QIDQ3746904
Hendrik Jan Hoogeboom, Grzegorz Rozenberg
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (13)
Matrix and matricial iteration theories. II ⋮ A power-set construction for reducing Büchi automata to non-determinism degree two ⋮ Extension of the automaton specification logical language and the synthesis problem ⋮ On syntactic congruences for \(\omega\)-languages ⋮ The equational logic of fixed points ⋮ On automata on infinite trees ⋮ On the concatenation of infinite traces ⋮ The poset of infinitary traces ⋮ \(X\)-automata on \(\omega\)-words ⋮ On deciding trace equivalences for processes ⋮ Infinite Arrays and Domino Systems ⋮ Set constraints and topology ⋮ Shift-invariant topologies for the Cantor space \(X^{\omega}\)
This page was built for publication:
