Trace Semantics via Determinization

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Related Items (10)

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

This page was built for publication: Trace Semantics via Determinization