A coalgebraic representation of reduction by cone of influence

zbMATH Open1276.68112MaRDI QIDQ2863901FDOQ2863901

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

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

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)

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)