It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Various solutions have been proposed. We introduce a new approach, involving the addition of “priority guards” to Milner’s process calculus CCS. In our approach, priority is unstratified, meaning that actions are not assi...

The limits of copper homeostatic regulation in humans are not known, making it difficult to define the milder effects of early copper excess. Furthermore, a robust assay to facilitate the detection of early stages of copper excess is needed. To address these issues, we assessed changes in relative mRNA abundance of methallothionein 2A (MT2A), prion (PrP), amyloid precursor-like protein 2 (APLP2...

Cartilage canals (CCs) are microscopic structures involved in secondary ossification centers (SOCs) development. The features of CCs were investigated in the humeral and femoral proximal epiphyses of small-sized newborn dogs (from premature to 28 days after birth) with histochemical and immunohistochemical approaches. Masson's Trichrome revealed a ring-shaped area around CCs, which changes in c...

Central cord syndrome (CCS) is extremely rare as a direct consequence of generalized epileptic seizure. CCS is associated with hyperextension of the spinal cord and has characteristic radiologic findings including posterior ligamentous injury and prevertebral hyperintensity following magnetic resonance imaging (MRI). We experienced the case of a 25-year-old man who suffered CCS after status epi...

This work presents a Propositional Dynamic Logic in which the programs are CCS terms (CCS-PDL). Its goal is to reason about properties of concurrent systems specified in CCS. CCS is a process algebra that models the concurrency and interaction between processes through individual acts of communication. In a first step, we consider only CCS processes without constants and give a complete axiomat...

The presence of lipopolysaccharide (LPS) in gram-negative bacterial repeats-in-toxin (RTX) toxin preparations, as well as the harsh conditions required to remove it, suggests that LPS may complex with RTX toxins. Concentrated culture supernatant (CCS) preparations of the RTX toxin Pasteurella haemolytica leukotoxin (LKT) contained LKT and LPS as the most prominent components, with LKT and LPS c...

The etiology of Cronkhite-Canada syndrome (CCS) remains unknown and many cases are refractory to treatment. Therefore, new therapies are urgently needed. Furthermore, a number of CCS cases with gastrointestinal carcinoma have been reported. Our patient had rapid onset of CCS and early development of colon carcinoma associated with adenomas. High anterior resection of the sigmoid colon and ileos...

OBJECTIVE To investigate the incidence of tumors in the cardiac conduction system (CCS) and to study their relation to sudden deaths. METHODS The CCS from 149 cases of sudden death without extracardiac cause of deaths and those from 737 cases of non-cardiac death were sampled using technique designed by the authors. Routine histological examinations were carried out. RESULTS Tumors in the C...

Adherence of bacteria to epithelial cells is an important step in colonization and immune modulation in the large bowel. The aims of this study were to use a three-stage continuous-culture system (CCS) to investigate how environmental factors affect bacterial attachment to Caco-2 cells and modulation of cytokine expression by gut microorganisms, including a probiotic Bifidobacterium longum stra...