The following pages link to Process simulation and refinement (Q911322):
Displayed 12 items.
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Service refinement (Q954408) (← links)
- Model checking action system refinements (Q1019017) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Verified compilation of communicating processes into clocked circuits (Q1267038) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic (Q2237192) (← links)
- Model transformations across views (Q2266947) (← links)
- Of wlp and CSP (Q2994489) (← links)
- A technique for specifying and refining TCSP processes by using guards and liveness conditions (Q5044746) (← links)
- Refinement and state machine abstraction (Q5958757) (← links)