Many semantic models of rely-guarantee have been proposed in the literature. This paper proposes a new classification of the approaches into two groups based on their treatment of guarantee conditions. To allow a meaningful comparison, it constructs an abstract model for each group in a unified setting. The first model uses a weaker judgement and supports more general rules for atomic commands ...

The combination of mutable state and pointer aliasing is often troublesome due to non-obvious (and usually unspecified) interferences that may occur between non-local parts of the program. We present a type-based approach to statically control aliasing and mutable state in a minimalistic single-threaded procedural language with support for structures and references. By introducing views, re-com...

This study evaluated the tensile bond strengths and the effect of silanization of fiber posts inserted with different adhesive systems. Sixty DT Light Posts (size 1) were used. Thirty posts were pretreated with silane. The posts were cemented into form-congruent artificial root canals (12 mm) of bovine dentine. Six groups were formed: G1, Prime&Bond NT/Calibra; G2, Monobond-S+Prime&Bond NT/Cali...

A modified direct contact test was used to evaluate the antibacterial properties of four commercially available dental luting agents (RelyX Unicem, Ketac Cem, Ceramir Crown & Bridge and Harvard Cement) and two reference materials (glass-ionomer cement and calcium aluminate cement) compared to a negative-control material (PMMA). Streptococcus mutans bacteria were placed in direct contact with sp...

This study evaluated the effect of mineral trioxide aggregate (MTA) on the retention of fiber posts in repaired root canal perforations. Ten-millimeter post spaces were prepared in 60 endodontically treated bovine incisors. Root perforations were created in half of the root canals in the cervical area prior to being filled with white MTA-Angelus. Fiber posts were luted into the root canals with...

This study evaluated the influence of the surface treatments of fiberglass posts on bond strength to root dentin using push-out test. Forty bovine incisor roots were endodontically treated. The surface of the fiberglass posts (Exacto #2, Angelus) were treated using 4 different protocols (n=10): Control - 70% ethanol for 1 min; 37% phosphoric acid for 1 min; 10% hydrofluoric acid for 1 min; and ...

The aim of this study was to evaluate the effect of treating intraradicular dentin with irrigating solutions on the retention of glass-fiber posts luted with self-adhesive resin cement. Bovine incisors were endodontically treated, and 9-mm-deep postholes were prepared. Before inserting the cement, the root canals were irrigated with various solutions: 11.5% polyacrylic acid for 30 s, 17% EDTA f...

This study evaluated the cytotoxicity of eugenol-containing and eugenol-free temporary luting cements. For cytotoxicity testing, bovine pulp-derived cells transfected with Simian virus 40 Large T antigen were exposed to extracts of eugenol-containing (Rely X Temp E) and eugenol-free (Provicol, PreVISION CEM, and Rely X Temp NE) temporary luting cements for 24 h. The cytotoxicity of the same mat...

Jones’ rely-guarantee calculus [1] for shared variable concurrency is extended to include probabilistic behaviours. We use an algebraic approach which combines and adapts probabilistic Kleene algebras with concurrent Kleene algebra. Soundness of the algebra is shown relative to a general probabilistic event structure semantics [21]. The main contribution of this paper is a collection of rely-gu...