The following pages link to (Q4534707):
Displaying 4 items.
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- A predicative semantics for the refinement of real-time systems (Q5890049) (← links)
- Correct Hardware Design and Verification Methods (Q5897075) (← links)