Trace semantics via generic observations

DOI10.1007/978-3-642-40206-7_13zbMATH Open1394.68218OpenAlexW118676048MaRDI QIDQ2848946FDOQ2848946

Authors: S. S. Goncharov 

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40206-7_13

Recommendations

• Trace semantics via determinization
• Trace semantics via determinization
• Steps and traces
• Steps and traces
• Trace semantics for coalgebras

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Semantics in the theory of computing (68Q55)

Cited In (9)

• Generic Trace Semantics via Coinduction
• Revisiting Semantics of Interactions for Trace Validity Analysis
• Flexibly graded monads and graded algebras
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• Trace Semantics for IPDL
• A new foundation for finitary corecursion and iterative algebras
• The costructure–cosemantics adjunction for comodels for computational effects
• Towards trace metrics via functor lifting
• Coalgebraic trace semantics via forgetful logics

This page was built for publication: Trace semantics via generic observations

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