Generic Trace Semantics and Graded Monads.

DOI10.4230/LIPIcs.CALCO.2015.253zbMath1366.68211OpenAlexW2255874857MaRDI QIDQ5275355

Lutz Schröder, Stefan Milius, Dirk Pattinson

Publication date: 11 July 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2015.253

zbMATH Keywords

coalgebramonadstransition systemstrace logics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (13)

Comprehending Ringads ⋮ Flexibly graded monads and graded algebras ⋮ Graded algebraic theories ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Graded Hoare logic and its categorical semantics ⋮ Unnamed Item ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Steps and traces ⋮ Unnamed Item ⋮ Towards a Formal Theory of Graded Monads ⋮ Algebraic presentation of semifree monads

This page was built for publication: Generic Trace Semantics and Graded Monads.