Publication:3746904
From MaRDI portal
zbMath0607.68059MaRDI QIDQ3746904
Hendrik Jan Hoogeboom, Grzegorz Rozenberg
Publication date: 1986
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
On the concatenation of infinite traces, The poset of infinitary traces, On automata on infinite trees, \(X\)-automata on \(\omega\)-words, On deciding trace equivalences for processes, Extension of the automaton specification logical language and the synthesis problem, On syntactic congruences for \(\omega\)-languages, The equational logic of fixed points, Set constraints and topology, Matrix and matricial iteration theories. II