Quiescence is a fundamental concept in modelling system behaviour, as it explicitly represents the fact that no output is produced in certain states. The notion of quiescence is also essential to model-based testing: if a particular implementation under test does not provide any output, then the test evaluation algorithm must decide whether or not to allow this behaviour. To explicitly model qu...

A distributed algorithm is crash quiescent if it eventually stops sending messages to crashed processes. An algorithm can be made crash quiescent by providing it with either a crash notification service or a reliable communication service. Both services can be implemented in practical environments with failure detectors. Therefore, crash-quiescent failure detection is fundamental to system-wide...

We present a short (∼3.6 ks) Chandra/HRC-I observation of the globular cluster Terzan 1. This cluster is known to contain the bright neutron star low-mass X-ray binary X 1732–304 which was active during the 1980’s and most of the 1990’s. During our observation, we detect one source with a 0.5–10 keV luminosity of approximately 1 − 2× 10 erg s−1 (for an assumed distance of 5.2 kpc). However, its...

As yeast cultures enter stationary phase in rich, glucose-based medium, differentiation of two major subpopulations of cells, termed quiescent and nonquiescent, is observed. Differences in mRNA abundance between exponentially growing and stationary-phase cultures and quiescent and nonquiescent cells are known, but little was known about protein abundance in these cells. To measure protein abund...

We present a Chandra observation of the globular cluster Terzan 5 during times when the neutron-star X-ray transient EXO 1745–248 located in this cluster was in its quiescent state. We detected the quiescent system with a (0.5–10 keV) luminosity of ∼ 2 × 10 ergs s. This is similar to several other neutronstar transients observed in their quiescent states. However, the quiescent Xray spectrum of...