The following pages link to Process simulation and refinement (Q911322):
Displaying 23 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- 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)
- Power simulation and its relation to traces and failures refinement (Q1884900) (← 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)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- Multi-purpose process simulators (Q4342997) (← links)
- (Q4492846) (← links)
- A technique for specifying and refining TCSP processes by using guards and liveness conditions (Q5044746) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703820) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709380) (← links)
- Timewise refinement for communicating processes (Q5890047) (← links)
- Refinement and state machine abstraction (Q5958757) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)
- Assume-guarantee reasoning for additive hybrid behaviour (Q6535836) (← links)
- Refinements for open automata (Q6550592) (← links)
