A higher-order duration calculus and its completeness

MaRDI QIDQ866220zbMATH OpenFDO

Authors Naijun Zhan

Publication date 20 February 2007

Published in Science in China. Series E (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

This paper was already published in Lect. Notes Comput. Sci. 1862, 442-456 (2000).

Cited in

(2)

• Formalizing calendars with the category of ordinals
• A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus

This page was built for publication: A higher-order duration calculus and its completeness

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