Trace Semantics via Determinization

DOI10.1007/978-3-642-32784-1_7zbMATH Open1328.68122OpenAlexW2177291786MaRDI QIDQ2914679FDOQ2914679

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

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

Cited In (18)

• Abstract interpretation of trace semantics for concurrent calculi
• Generic Trace Semantics via Coinduction
• Lemmaless induction in trace logic
• A (co)algebraic theory of succinct automata
• Title not available (Why is that?)
• Simplified Coalgebraic Trace Equivalence
• Title not available (Why is that?)
• Revisiting Semantics of Interactions for Trace Validity Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Product Rules and Distributive Laws
• Trace Semantics for IPDL
• Title not available (Why is that?)
• Canonical automata via distributive law homomorphisms
• Feedback, trace and fixed-point semantics
• Trace semantics via determinization
• Title not available (Why is that?)
• Coalgebraic constructions of canonical nondeterministic automata

This page was built for publication: Trace Semantics via Determinization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914679)