Trace semantics via generic observations

DOI10.1007/978-3-642-40206-7_13MaRDI QIDQ2848946zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

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)