Combining aspects of reactive systems

DOI10.1007/B94823MaRDI QIDQ5902422zbMATH OpenOpenAlexFDO

Authors Leonid Kof, Bernhard Schätz

Publication date 5 January 2010

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

Full work available at URL https://doi.org/10.1007/b94823

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reactive Systems
• Models for reactivity
• Reasoning about reactive systems
• scientific article; zbMATH DE number 1708017
• Modelling and simulation of reactive systems

Cited in

(8)

• A unified and composable take on ratcheting
• Modelling and simulation of reactive systems
• Reasoning about reactive systems
• scientific article; zbMATH DE number 1696878 (Why is no real title available?)
• scientific article; zbMATH DE number 1708017 (Why is no real title available?)
• Dynamic Reactive Modules
• scientific article; zbMATH DE number 1390054 (Why is no real title available?)
• Decoupled fitness criteria for reactive systems

This page was built for publication: Combining aspects of reactive systems

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