Step by step to histories

DOI10.1007/3-540-45499-3_4MaRDI QIDQ2767160zbMATH OpenFDO

Authors Max Breitling, Jan Philipps

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_4

Mathematics Subject Classification ID

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

Recommendations

• From states to histories relating state and history views onto systems
• From states to histories
• An abstract account of composition
• Combining aspects of reactive systems
• On the specification of elementary reactive behaviour

Cited in

(2)

• From states to histories
• From states to histories relating state and history views onto systems

This page was built for publication: Step by step to histories

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