Mixed Treatment Comparisons (MTCs) enable the simultaneous meta-analysis (data pooling) of networks of clinical trials comparing ≥ 2 alternative treatments. Inconsistency models are critical in MTC to assess the overall consistency between evidence sources. Only in the absence of considerable inconsistency can the results of an MTC (consistency) model be trusted. However, inconsistency model sp...

Existing memory models and cache consistency protocols assume the memory coherence property which requires that all processors observe the same ordering of write operations to the same location. In this paper, we address the problem of de ning a memory model that does not rely on the memory coherence assumption, and also the problem of designing a cache consistency protocol based on such a memo...

This work weakens well-known consistency models using graphs that capture applications’ characteristics. The weakened models not only respect application semantic, but also yield a performance benefit. We introduce a notion of dependency graphs, which specify relations between events that are important with respect to application semantic, and then weaken traditional consistency models (e.g., c...

We provide the syntax and semantics of the cat language, a domain specific language to describe consistency properties of parallel/distributed programs. The language is implemented in the herd7 tool Alglave and Maranget (2015).

We provide the syntax and semantics of the lisa (for “Litmus Instruction Set Architecture”) language. The parallel assembly language lisa is implemented in the herd7 tool (Alglave and Maranget, 2015) for simulating weak consistency models.

Consistency maintenance is a basic issue in computersupported cooperative editing systems. Aimed at providing a clear, appropriate and extended description on this issue, a new three-level consistency model is proposed: (1) Operation Consistency, which promises all operations are executed at the same order; (2) Content (Syntactic or Intention) Consistency, which promises the effects of all oper...