We investigate the possibility of constructing a fully compositional concurrent process algebra (dubbed Communicating Visibly pushdown Processes or CVP for short) based on visibly pushdown automata. CVP is a superset of CSP, thus combining all the good properties of finite-state algebrae with context-free features. In particular, CVP includes support for parallel composition (which has however ...

INTRODUCTION Assessing cardiac preload and fluid responsiveness accurately is important when attempting to avoid unnecessary volume replacement in the critically ill patient, which is associated with increased morbidity and mortality. The present clinical trial was designed to compare the reliability of continuous right ventricular end-diastolic volume (CEDV) index assessment based on rapid res...

Sepsis could produce myocardial depression and typically it affects the left ventricle (LV). Sepsis could also affect right ventricle (RV), in addition to the interdependence with LV. RV pressure may be elevated secondary to pulmonary vasoconstriction, leading to RV dysfunction. Unlike LV, RV is poorly prepared to compensate for acute overload. Aggressive volume replacement may be vital to main...

BACKGROUND Hypotension is common in the early postoperative stages after abdominothoracic esophagectomy for esophageal cancer. We examined the ability of stroke volume variation (SVV), pulse pressure variation (PPV), central venous pressure (CVP), intrathoracic blood volume (ITBV), and initial distribution volume of glucose (IDVG) to predict fluid responsiveness soon after esophagectomy under m...

Small negative changes of central volume reduce cardiac output without significant alterations of arterial blood pressure (ABP), suggesting an adequate regulatory response. Furthermore, evidence has arisen supporting a Bainbridge reflex (tachycardia with hypervolemia) in humans. To investigate these phenomena, multivariate autoregressive techniques were used to evaluate the beat-to-beat interac...

The estimation of central venous pressure (CVP) by inspection of the neck veins is regarded as a quintessential example of effective bedside cardiovascular examination because it is virtually cost-free and requires minimal time and no equipment. In the upright position, venous drainage from the head occurs primarily through the vertebral veins, allowing the jugular vein to act as a manometer, “...

Purpose: Central venous pressure (CVP) is considered to be unsuitable as preload parameter. Stroke volume variation (SVV) has recently been reported to be effective as a preload and fluid responsiveness parameter, and its usefulness for fluid management during living-donor liver transplantation (LDLT). However, use of SVV has not been reported in children. Our aim is to evaluate the use of SVV ...