Quiescence is a fundamental concept in modelling system behaviour, as it explicitly represents the fact that, in certain system states, no output is provided by the system. 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 to allow this behaviour, or not...

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...

A gas blowout during an unauthorized well drilling occurred on June 9, 2020 at the Rome-Ciampino boundary periphery of Colli Albani quiescent volcano. This zone hosts a shallow confined gas-pressured aquifer, which recently produced further three blowouts. Dangerous atmospheric CO2 and H2S concentrations killed some birds, 12 families were evacuated. The helium isotopic composition indicates th...

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...

We present observations of NGC 4038/39 in the [C II] 158 µm fine structure line taken with the MPE/UCB Far-infrared Imaging Fabry-Perot Inter-ferometer (FIFI) on the KAO. A fully sampled map of the galaxy pair (without the tidal tails) at 55 ′′ resolution has been obtained. The [C II] emission line is detected from the entire galaxy pair and peaks at the interaction zone. The total [C II] lumin...