Tense calculus and its refinement without

MaRDI QIDQ5428005zbMATHFDO

Authors Hidetomo MacHi, Yasuo Ikeda, Kohji Tomita, Chiharu Hosono, S. Igarashi

Publication date 27 November 2007

zbMATH Keywords

verification of concurrent programstense arithmeticrational number timetense calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1882007
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
• A duration calculus with infinite intervals
• scientific article; zbMATH DE number 512949
• scientific article; zbMATH DE number 4210108

This page was built for publication: Tense calculus and its refinement without \(\infty\)

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