Tense calculus and its refinement without

zbMATH Open1128.03020MaRDI QIDQ5428005FDOQ5428005

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

Publication date: 27 November 2007

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

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)

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)