1 citations · 1 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
A simple proof of three properties on Simpson's 4-slot Algorithm
Xu Wang, Qiwen Xu
In this paper we present an invariance proof of three properties on Simpson's 4-slot algorithm, i.e. data-race freedom, data coherence and data freshness, which together implies li…
cs.SE2012
Revisiting Timed Specification Theories: A Linear-Time Perspective
Chris Chilton, Marta Kwiatkowska, Xu Wang
We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory…