Labeled calculi applied to verification and analysis of time-concerned programs. I

MaRDI QIDQ3013356zbMATH OpenFDO

Authors T. Mizutani, S. Igarashi, M. Shio, Yasuwo Ikeda

Publication date 18 July 2011

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Control/observation systems involving computers (process control, etc.) (93C83) Other applications of logic (03B80) Mathematics and music (00A65)

Recommendations

• On validity in modelization of musical problems by CCP
• Timing in music and modal temporal logic
• Labeled @-Calculus: Formalism for Time-Concerned Human Factors
• scientific article; zbMATH DE number 1809625
• scientific article; zbMATH DE number 2087421

Cited in

(1)

• Labeled @-Calculus: Formalism for Time-Concerned Human Factors

This page was built for publication: Labeled calculi applied to verification and analysis of time-concerned programs. I

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