scientific article; zbMATH DE number 1136090
From MaRDI portal
Publication:4381401
Recommendations
Cited in
(30)- Series-parallel posets and relative Ockham lattices
- Series-parallel languages and the bounded-width property
- Asynchronous cellular automata for pomsets
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words
- On series-parallel pomset languages: rationality, context-freeness and automata
- 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
- Posets with interfaces as a model for concurrency
- scientific article; zbMATH DE number 1670860 (Why is no real title available?)
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets
- Concurrent Kleene algebra with tests and branching automata
- Branching automata with costs -- a way of reflecting parallelism in costs
- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
- scientific article; zbMATH DE number 3896328 (Why is no real title available?)
- scientific article; zbMATH DE number 1302032 (Why is no real title available?)
- A complete axiomatisation for the inclusion of series-parallel partial orders
- Complementation of Branching Automata for Scattered and Countable N-Free Posets
- scientific article; zbMATH DE number 2087225 (Why is no real title available?)
- Traces, series-parallel posets, and pictures: a weighted study
- Generating Posets Beyond N
- Brzozowski goes concurrent -- a Kleene theorem for pomset languages
- Series-parallel languages on scattered and countable posets
- Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages
- Confluent Hasse Diagrams
- On two-variable first-order logic with a partial order
- Derivatives on graphs for the positive calculus of relations with transitive closure
- Active learning techniques for pomset recognizers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4381401)
