Michele Curti

Learn More
We use the-calculus to model the evolution of biochemical systems, taking advantage of their similarities with global computation applications. First, we present a reduction semantics for the-calculus from which causality and concurrency can be mechanically derived. We prove that our semantics agrees with the causal deÿnitions presented in the literature.(More)
We use a special operational semantics which helps us in predicting quantitative measures on systems describing cryptographic protocols: We also consider a possible attacker. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. We then map transition systems to Markov chains and evaluate(More)
We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign rates to transitions by only looking at these labels. The rates reflect the distributed architecture running applications and the use of possibly different crypto-systems. We then map(More)
We use a special operational semantics which drives us in inferring quantitative measures on system describing cryptographic protocols. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. The rates reflect the distributed architecture running applications and the use of possibly different(More)
The central effects of carboxyethyl-gamma-aminobutyric acid (CEGABA) have been studied both in rabbits and in the guinea pig myoclonus model. This drug caused EEG synchronization and behavioural sedation both after intravenous (i.v.) and intracerebroventricular (i.c.v.) administration in a dose-dependent manner, in rabbits. CEGABA showed a protective action(More)
The di-carboxylated derivative of spermidine, N-carboxyethyl gamma-aminobutyric acid (CEGABA) has been identified in bovine brain and human cerebrospinal fluid by HPLC. This discovery strongly suggests the existence of a metabolic pathway connecting polyamines and GABA via putreanine and CEGABA through progressive oxidative deamination of the amino terminal(More)