On hierarchically developing reactive systems

DOI10.1016/J.IC.2010.04.002zbMath1197.93080OpenAlexW2167350529MaRDI QIDQ1959436

Naijun Zhan, Mila E. 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

verificationspecificationreactive systemsmodal logicsaction refinement

Mathematics Subject Classification ID

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

Cites Work

• Towards the hierarchical verification of reactive systems
• A logical view of composition
• The existence of refinement mappings
• Process simulation and refinement
• Using branching time temporal logic to synthesize synchronization skeletons
• Defining liveness
• A state-based approach to communicating processes
• A lattice-theoretical fixpoint theorem and its applications
• A ν-calculus with local views for systems of sequential agents
• A logic for the description of non-deterministic programs and their properties
• Termination, deadlock, and divergence
• Branching time and abstraction in bisimulation semantics
• Refinement Calculus
• Theoretical Aspects of Computing – ICTAC 2005
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Modal and temporal properties of processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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