On hierarchically developing reactive systems

DOI10.1016/J.IC.2010.04.002MaRDI QIDQ1959436zbMATH OpenOpenAlexFDO

Authors Naijun Zhan, Mila Majster-Cederbaum

Publication date 7 October 2010

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2010.04.002

zbMATH Keywords

verificationmodal logicsreactive systemsspecificationaction refinement

Mathematics Subject Classification ID

Hierarchical systems (93A13) Design techniques (robust design, computer-aided design, etc.) (93B51)

Recommendations

• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• scientific article; zbMATH DE number 3930354
• Towards the hierarchical verification of reactive systems
• scientific article; zbMATH DE number 1670558
• scientific article; zbMATH DE number 1953035

Cites work

• scientific article; zbMATH DE number 1670558 (Why is no real title available?)
• scientific article; zbMATH DE number 4180788 (Why is no real title available?)
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 3956416 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 52748 (Why is no real title available?)
• scientific article; zbMATH DE number 176132 (Why is no real title available?)
• scientific article; zbMATH DE number 176726 (Why is no real title available?)
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• scientific article; zbMATH DE number 1304336 (Why is no real title available?)
• scientific article; zbMATH DE number 1953035 (Why is no real title available?)
• scientific article; zbMATH DE number 1927566 (Why is no real title available?)
• scientific article; zbMATH DE number 1754638 (Why is no real title available?)
• scientific article; zbMATH DE number 4119655 (Why is no real title available?)
• scientific article; zbMATH DE number 4121471 (Why is no real title available?)
• scientific article; zbMATH DE number 2087435 (Why is no real title available?)
• A \(\nu \)-calculus with local views for systems of sequential agents
• A lattice-theoretical fixpoint theorem and its applications
• A logic for the description of non-deterministic programs and their properties
• A logical view of composition
• A state-based approach to communicating processes
• Action refinement.
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Branching time and abstraction in bisimulation semantics
• Defining liveness
• Modal and temporal properties of processes
• Process simulation and refinement
• Refinement Calculus
• Termination, deadlock, and divergence
• The existence of refinement mappings
• Theoretical Aspects of Computing – ICTAC 2005
• Towards the hierarchical verification of reactive systems
• Using branching time temporal logic to synthesize synchronization skeletons

Cited in

(6)

• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 2086945 (Why is no real title available?)
• scientific article; zbMATH DE number 1670558 (Why is no real title available?)
• scientific article; zbMATH DE number 1708017 (Why is no real title available?)
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• scientific article; zbMATH DE number 1552033 (Why is no real title available?)

This page was built for publication: On hierarchically developing reactive systems

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