We construct a Galois connection between the theories that underlie CCS [7] and CSP [4]. It projects the complete transition system for CCS onto exactly the subset that satisfies the healthiness conditions of CSP. The construction applies to several varieties of both calculi: CCS with strong, weak or barbed simulation, and CSP with trace refinement or failures refinement, or failures/divergence...

Probabilistic predicate transformers guarantee standard (ordinary) predicate transformers to incorporate a notion of prob-abilistic choice in imperative programs. The basic theory of that, for nite state spaces, is set out in 5], together with a statements of their`healthiness conditions'. Here the earlier results are extended to innnite state spaces, and several more specialised topics are exp...

A major goal in cancer and aging research is to discriminate the biochemical modifications that happen locally that could account for the healthiness or malignancy of tissues. Senescence is one general antiproliferative cellular process that acts as a strong barrier for cancer progression, playing a crucial role in aging. Here, we focus on the current methods to assess cellular senescence, disc...

The healthiness of a society depends on variety of complicated factors that have genetical and environmental aspects and in an extensive spectrum finds social aspect. This research is going to analyze effective social factors on public healthiness and research method survey is base on measurement. It made in the framework of theories of Adler, Dall, Cokerham, Parsans, Mayner and Dayner. Statist...

Heart rate variability (HRV) reflects the healthiness of autonomic nervous system, which is associated with exercise capacity. We therefore investigated whether HRV could predict the exercise capacity in the adults with cardiac syndrome X (CSX). A total of 238 subjects (57±12 years, 67.8% men), who were diagnosed as CSX by the positive exercise stress test and nearly normal coronary angiogram w...