Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic

MaRDI QIDQ2852076zbMATH OpenFDO

Authors Donghuo Chen, Jinzhao Wu

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610600226X

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• SOFSEM 2006: Theory and Practice of Computer Science
• Paraconsistent computation tree logic
• A Paraconsistent Linear-time Temporal Logic
• scientific article; zbMATH DE number 2079776
• Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning

Cited in

(6)

• Paraconsistent computation tree logic
• Extended full computation-tree logics for paraconsistent model checking
• SOFSEM 2006: Theory and Practice of Computer Science
• Structured specification of paraconsistent transition systems
• Paraconsistent Transition Systems
• scientific article; zbMATH DE number 2079776 (Why is no real title available?)

This page was built for publication: Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic

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