Reactive designs of interrupts in Circus Time

DOI10.1007/978-3-642-39718-9_22MaRDI QIDQ2851919zbMATH OpenOpenAlexFDO

Authors Kun Wei

Publication date 4 October 2013

Published in Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39718-9_22

zbMATH Keywords

interruptreactive designsUTP

Mathematics Subject Classification ID

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

Recommendations

• Unifying theories of interrupts
• Modeling and analysis of nested interrupt systems
• Investigating time properties of interrupt-driven programs
• Circus Time with Reactive Designs
• scientific article; zbMATH DE number 1479645

Cited in

(7)

• Testing interruptions in reactive systems
• Circus Time with Reactive Designs
• Unifying theories of interrupts
• Real-time interrupt handling in Ada
• Modeling and analysis of nested interrupt systems
• Investigating time properties of interrupt-driven programs
• What is the meaning of these constant interruptions?

This page was built for publication: Reactive designs of interrupts in Circus Time

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