Trace Semantics via Generic Observations

DOI10.1007/978-3-642-40206-7_13zbMath1394.68218OpenAlexW118676048MaRDI QIDQ2848946

Sergei 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) Semantics in the theory of computing (68Q55) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (5)

The costructure–cosemantics adjunction for comodels for computational effects ⋮ Flexibly graded monads and graded algebras ⋮ Coalgebraic trace semantics via forgetful logics ⋮ A New Foundation for Finitary Corecursion ⋮ A new foundation for finitary corecursion and iterative algebras

This page was built for publication: Trace Semantics via Generic Observations