Modeling concurrency with partial orders
International Journal of Parallel Programming
The equational theory of pomsets
Theoretical Computer Science
MFCS '89 Selected papers of the symposium on Mathematical foundations of computer science
Monadic second-order definable graph transductions: a survey
Theoretical Computer Science - Selected papers of the 17th Colloquium on Trees in Algebra and Programming (CAAP '92) and of the European Symposium on Programming (ESOP), Rennes, France, Feb. 1992
Modulo-counting quantifiers over finite trees
Theoretical Computer Science - Selected papers of the 17th Colloquium on Trees in Algebra and Programming (CAAP '92) and of the European Symposium on Programming (ESOP), Rennes, France, Feb. 1992
Languages, automata, and logic
Handbook of formal languages, vol. 3
Series-parallel languages and the bounded-width property
Theoretical Computer Science
Rationality in algebras with a series operation
Information and Computation
Axiomatizing the subsumption and subword preorders on finite and infinite partial words
Theoretical Computer Science
Recent Results on Automata and Infinite Words
Proceedings of the Mathematical Foundations of Computer Science 1984
Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Recognizability Equals Definability for Partial k-Paths
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Series-Parallel Posets: Algebra, Automata and Languages
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Regular Tree Languages Without Unary Symbols are Star-Free
FCT '93 Proceedings of the 9th International Symposium on Fundamentals of Computation Theory
Recognizability Equals Monadic Second-Order Definability for Sets of Graphs of Bounded Tree-Width
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
Automata on Series-Parallel Biposets
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
Pomsets for local trace languages
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Journal of Automata, Languages and Combinatorics
On the logical definability of centrain graph and poset languages
Journal of Automata, Languages and Combinatorics
A hierarchy theorem for regular languages over free bisemigroups
Acta Cybernetica
Branching automata with costs: a way of reflecting parallelism in costs
Theoretical Computer Science - Implementation and application of automata
The recognizability of sets of graphs is a robust property
Theoretical Computer Science
Axiomatizing the identities of binoid languages
Theoretical Computer Science
Acta Cybernetica
Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Pomset Languages of Finite Step Transition Systems
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Branching automata with costs: a way of reflecting parallelism in costs
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Series-parallel languages on scattered and countable posets
Theoretical Computer Science
Series-parallel languages on scattered and countable posets
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Hi-index | 5.23 |
N-free or series-parallel pomsets are a model for the behavior of modularly constructed concurrent systems. The investigation of recognizable languages of finite N-free pomsets was initiated by Lodaya and Weil who extended the theorems by Kleene and by Myhill and Nerode on recognizable word languages to this setting. In this paper, we extend Lodaya and Weil's results in several aspects: (a) We consider the relation of recognizable sets to monadic second order logic in order to generalize Büchi's theorem. (b) We prove our results (and extensions of results by Lodaya and Weil) for sets of infinite N-free pomsets. And (c), we investigate first-order axiomatizable, starfree, and aperiodic sets of infinite N-free pomsets and prove results in the spirit of McNaughton and Papert's and Schützenberger's theorems for finite words.