Unifying theories of interrupts

DOI10.1007/978-3-642-14521-6_8MaRDI QIDQ3585026zbMATH OpenOpenAlexFDO

Authors Alistair A. McEwan, Jim Woodcock

Publication date 31 August 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14521-6_8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Reactive designs of interrupts in Circus Time
• Event structures for interrupt process algebras
• What is the meaning of these constant interruptions?
• scientific article; zbMATH DE number 4001464
• scientific article; zbMATH DE number 4033053

Cited in

(9)

• Testing interruptions in reactive systems
• Denotational semantics of channel mobility in UTP-CSP
• Event structures for interrupt process algebras
• Reactive designs of interrupts in Circus Time
• Asynchronous Exceptions as an Effect
• scientific article; zbMATH DE number 4033053 (Why is no real title available?)
• Modeling and analysis of nested interrupt systems
• What is the meaning of these constant interruptions?
• A program-controlled program interruption system

This page was built for publication: Unifying theories of interrupts

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