CSP‖B is a combination of CSP and B which supports the design and verification of systems where control and state are both important. Recent work on combining the pi-calculus with B introduces mobility into the control of B machines and enables them to be passed around. This additional functionality is appropriate for modeling systems such as peer-to-peer networks. While the pi-calculus is appr...

The global awareness of the impacts of climate change is a key driver of the quick pace of development of renewable energy technologies. The concentrated solar plant (CSP) technology has emerged as a promising approach to harness solar energy, with several implementations under way around the world. Unlike PV and wind resources, a CSP allows the deployment of the thermal energy storage (TES), w...

Rapeseed (Brassica napus L.) is a nutritious vegetable, while cadmium (Cd) pollution threatens the growth, productivity, and food security of rapeseed. By studying effects iminodisuccinic acid (IDS), an easily biodegradable environmental friendly chelating agent, on Cd distribution at organ cellular level, we found IDS promoted dry matter accumulation rapeseed increased contents photosynthetic ...

Cesarean scar pregnancy is rare but potentially life threatening type of ectopic pregnancy. It is a condition in which the concepts implants in an iatrogenic cesarean scar in the uterus and is surrounded by uterine muscular fiber, scar tissue, and thin myometrium adjacent to the bladder. It can occur in women with a single previous cesarean delivery. CSP was first described by [1]. The incidenc...

Plasmodium vivax is the most widespread species of Plasmodium, causing up to 50% of the malaria cases occurring outside sub-Saharan Africa. An effective vaccine is essential for successful control and potential eradication. A well-characterized vaccine candidate is the circumsporozoite protein (CSP). Preclinical and clinical trials have shown that both antibodies and cellular immune responses h...

This work aimed at characterizing the viscoelastic behavior and fouling propensity of orange juice matrices composed concentrated suspended particles (CSP) with defined size distributions. Small-, medium- large-CSP (respectively colloids, supra-colloids large particles) were first isolated then mixed together according to a mixture design. The shear moduli, specific resistance filtration compre...

background: treatment of cesarean scar pregnancy (csp) is controversial. the objective of this study was to report our successful experience in the medical treatment of csp with potassium chloride (kcl) and methotrexate. case: this is a case series of six patients between 6-12 gestational weeks with the diagnosis of csp.  in five cases the fetus was alive and in one case, despite being at a ges...

In previous work the authors investigated the inconsistencies of how successful termination was modelled in Hoare, Brookes and Roscoe’s original CSP. This led to the definition of a variant of CSP, called CSPT . CSPT presents a solution to these problems by means of adding a termination axiom to the original process axioms. In this paper we investigate how successful process termination is mode...

Abstract There currently exist two methods for analysing an explosive mode introduced by chemical kinetics in a reacting process: the Computational Singular Perturbation (CSP) algorithm and Chemical Explosive Mode Analysis (CEMA). CSP was 1989 addressed both dissipative modes encountered multi-scale dynamics that characterize process, while CEMA 2009 only modes. It is shown (i) algorithmic tool...