Publication:2754184
From MaRDI portal
zbMath0973.68164MaRDI QIDQ2754184
Publication date: 11 November 2001
06A06: Partial orders, general
68Q70: Algebraic theory of languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Algebraic and graph-theoretic properties of infiniten-posets, Complementation of Branching Automata for Scattered and Countable N-Free Posets, Logic and rational languages of scattered and countable series-parallel posets, Series-parallel languages on scattered and countable posets, Axiomatizing the identities of binoid languages, Two equational theories of partial words, Rationality in algebras with a series operation, Towards a language theory for infinite N-free pomsets., Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic, Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets, Communicating Finite-State Machines and Two-Variable Logic, Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings