We propose a new formalisation of stability for Rely-Guarantee, in which an assertion’s stability is encoded into its syntactic form. This allows two advances in modular reasoning. Firstly, it enables RelyGuarantee, for the first time, to verify concurrent libraries independently of their clients’ environments. Secondly, in a sequential setting, it allows a module’s internal interference to be ...

Asynchronous programming has become ubiquitous in smartphone and web application development, as well as in the development of server-side and system applications. Many of the uses of asynchrony can be modeled by extending programming languages with asynchronous procedure calls—procedures not executed immediately, but stored and selected for execution at a later point by a non-deterministic sch...

This study aimed to evaluate the influence of mesoporous silica coating surface treatments on push-out bond strength of zirconia posts. Zirconia posts (Cosmopost) were treated with vehicle (control), sandblasting plus silane application (SB+SI), a combination of sandblasting, mesoporous silica coating and silane application (SB+MSC+SI) (n=10/group). Specimens were cemented with RelyX Unicem (3M...

Let G(X) denote the size of the largest gap between consecutive primes below X . Answering a question of Erdős, we show that G(X) > f(X) logX log logX log log log logX (log log logX) , where f(X) is a function tending to infinity with X . Our proof combines existing arguments with a random construction covering a set of primes by arithmetic progressions. As such, we rely on recent work on the e...