Trace Semantics via Determinization
From MaRDI portal
Publication:2914679
DOI10.1007/978-3-642-32784-1_7zbMath1328.68122OpenAlexW2177291786MaRDI QIDQ2914679
Ana Sokolova, Bart Jacobs, Alexandra Silva
Publication date: 20 September 2012
Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32784-1_7
Related Items
Coalgebraic constructions of canonical nondeterministic automata, A (co)algebraic theory of succinct automata, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Product Rules and Distributive Laws, Unnamed Item, Simplified Coalgebraic Trace Equivalence, Trace semantics via determinization