The following pages link to Xu Wang (Q1708706):
Displayed 8 items.
- A specification theory of real-time processes (Q1708707) (← links)
- Compositional State Space Reduction Using Untangled Actions (Q2866342) (← links)
- On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
- Towards a Pomset Semantics for a Shared-Variable Parallel Language (Q3055753) (← links)
- (Q3504351) (← links)
- Revisiting Timed Specification Theories: A Linear-Time Perspective (Q4649387) (← links)
- (Q5431924) (← links)
- Integrated Formal Methods (Q5901612) (← links)