On hierarchically developing reactive systems
From MaRDI portal
Publication:1959436
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
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