Canonizable Partial Order Generators

DOI10.1007/978-3-642-28332-1_38zbMath1351.68189OpenAlexW1887345091MaRDI QIDQ2890217

Mateus de Oliveira Oliveira

Publication date: 8 June 2012

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28332-1_38

zbMATH Keywords

automatapartial orderscanonization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Reachability in Graph Transformation Systems and Slice Languages ⋮ Causality in Bounded Petri Nets is MSO Definable ⋮ A Slice Theoretic Approach for Embedding Problems on Digraphs

This page was built for publication: Canonizable Partial Order Generators