Traces, Series-Parallel Posets, and Pictures: A Weighted Study

DOI10.1007/978-3-642-01492-5_10zbMath1484.68084OpenAlexW1538951098MaRDI QIDQ5072552

Ingmar Meinecke, Dietrich Kuske, Ina Fichtner

Publication date: 28 April 2022

Published in: Monographs in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-01492-5_10

Mathematics Subject Classification ID

Partial orders, general (06A06) Computing methodologies for image processing (68U10) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cellular automata (computational aspects) (68Q80)

Related Items (4)

Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers ⋮ Weighted automata ⋮ Characterizing weighted MSO for trees by branching transitive closure logics

This page was built for publication: Traces, Series-Parallel Posets, and Pictures: A Weighted Study