scientific article; zbMATH DE number 1497803

MaRDI QIDQ4499221zbMATH OpenFDO

Authors Daniele Turi, John Power

Publication date 4 March 2001

zbMATH Keywords

Kleisli categories of monads

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
• Trace semantics via determinization
• Simplified coalgebraic trace equivalence
• Generic Trace Semantics via Coinduction
• Steps and traces

Cited in

(20)

• Combining a monad and a comonad
• Categorical Büchi and parity conditions via alternating fixed points of functors
• Iterated covariant powerset is not a monad
• Coalgebraic semantics for timed processes
• Processes as formal power series: a coinductive approach to denotational semantics
• A coalgebraic approach to process equivalence and a coinduction principle for traces
• Towards bialgebraic semantics for the linear time -- branching time spectrum
• Coalgebraic trace semantics via forgetful logics
• Relation lifting, a survey
• Final semantics for decorated traces
• A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
• Coalgebraic infinite traces and Kleisli simulations
• scientific article; zbMATH DE number 6864542 (Why is no real title available?)
• Simplified coalgebraic trace equivalence
• Canonical coalgebraic linear time logics
• Towards Effects in Mathematical Operational Semantics
• Stream processors and comodels
• Bialgebras for structural operational semantics: an introduction
• Unifying equivalences for timed transition systems
• Quantitative simulations by matrices

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 Q4499221)