A coalgebraic representation of reduction by cone of influence

MaRDI QIDQ2863901zbMATH OpenFDO

Authors Koki Nishizawa, Osamu Takaki, Hiroshi Watanabe

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106004762?np=y

zbMATH Keywords

model checkingabstractioncoalgebracone of influence reduction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1905121
• Confluence Reduction for Probabilistic Systems
• scientific article; zbMATH DE number 2110619
• Coalgebraic symbolic semantics
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(1)

• Static Analysis Techniques for Parameterised Boolean Equation Systems

This page was built for publication: A coalgebraic representation of reduction by cone of influence

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