scientific article; zbMATH DE number 1497875
From MaRDI portal
Publication:4499306
zbMath0960.18002MaRDI QIDQ4499306
Marina Lenisa, Hiroshi Watanabe, A. John Power
Publication date: 5 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
distributive lawKleisli constructionpointed endofunctorEilenberg-Moore constructioncoalgebraic coinduction
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Theory of software (68N99)
Related Items (25)
Adding recursive constructs to bialgebraic semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Enhanced coalgebraic bisimulation ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Companions, Codensity and Causality ⋮ Unnamed Item ⋮ A general account of coinduction up-to ⋮ Generalised Coinduction ⋮ Modularity and Implementation of Mathematical Operational Semantics ⋮ Product Rules and Distributive Laws ⋮ Category theory for operational semantics ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ Coalgebraic semantics for timed processes ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Extending set functors to generalised metric spaces ⋮ Rule Formats for Timed Processes ⋮ GSOS for probabilistic transition systems ⋮ Well-behaved Translations between Structural Operational Semantics ⋮ Distributive laws for monotone specifications ⋮ Bialgebraic Methods in Structural Operational Semantics ⋮ Corecursion up-to via causal transformations
This page was built for publication:
