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

zbMATH Open1221.00052MaRDI QIDQ3013356FDOQ3013356

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

Publication date: 18 July 2011

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

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)

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)