1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2021★ 1 cited
Decidability of Liveness on the TSO Memory Model
Chao Wang, Gustavo Petri, Yi Lv +2
An important property of concurrent objects is whether they support progress -a special case of liveness-guarantees, which ensure the termination of individual method calls under s…
cs.SE2011
A Framework for Automated and Certified Refinement Steps
Andreas Griesmayer, Zhiming Liu, Charles Morisset +1
The refinement calculus provides a methodology for transforming an abstract specification into a concrete implementation, by following a succession of refinement rules. These rules…