Publication:4381401
From MaRDI portal
zbMath0892.68041MaRDI QIDQ4381401
Publication date: 1 April 1998
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Related Items
Complementation of Branching Automata for Scattered and Countable N-Free Posets, Unnamed Item, Confluent Hasse Diagrams, Logic and rational languages of scattered and countable series-parallel posets, Concurrent Kleene algebra with tests and branching automata, Series-parallel languages on scattered and countable posets, Asynchronous cellular automata for pomsets, Axiomatizing the subsumption and subword preorders on finite and infinite partial words, Reachability analysis of reversal-bounded automata on series-parallel graphs, Rationality in algebras with a series operation, Towards a language theory for infinite N-free pomsets., Nested-unit Petri nets, Retractions onto series-parallel posets, Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets, Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings