scientific article; zbMATH DE number 1497875

zbMATH Open0960.18002MaRDI QIDQ4499306FDOQ4499306

Authors: Marina Lenisa, John Power, Hiroshi Watanabe 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1314227
• Distributive laws for monotone specifications
• Monad compositions. I: General constructions and recursive distributive laws
• Distributive laws for monotone specifications
• Category theory for operational semantics

zbMATH Keywords

distributive lawKleisli constructionpointed endofunctorEilenberg-Moore constructioncoalgebraic coinduction

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Theory of software (68N99)

Cited In (27)

• Corecursion up-to via causal transformations
• Distributive laws for the coinductive solution of recursive equations
• Bisimulation and coinduction enhancements: a historical perspective
• Coalgebraic semantics for timed processes
• Bialgebraic methods in structural operational semantics (invited talk)
• Bialgebras for structural operational semantics: an introduction
• Category theory for operational semantics
• Rule formats for timed processes
• Well-behaved translations between structural operational semantics
• Title not available (Why is that?)
• Monoidal company for accessible functors
• Generalised coinduction
• Bialgebraic foundations for the operational semantics of string diagrams
• Distributive laws for monotone specifications
• Distributive laws for monotone specifications
• Title not available (Why is that?)
• GSOS for probabilistic transition systems (extended abstract)
• Extending set functors to generalised metric spaces
• Title not available (Why is that?)
• Adding recursive constructs to bialgebraic semantics
• Stream differential equations: specification formats and solution methods
• Modularity and implementation of mathematical operational semantics
• Product rules and distributive laws
• Enhanced coalgebraic bisimulation
• Bialgebraic methods and modal logic in structural operational semantics
• A general account of coinduction up-to
• Companions, codensity and causality

This page was built for publication:

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