The cross section of e + e − → π + π − π + π − has been measured for center-of-mass energy from 0.6 GeV to 4.5 GeV by BABAR collaboration. We apply these experimental data to fit the theoretical cross section derived from the VMD(Vector Meson Dominance) model. At the same time, the relevant parameters have been deduced from the fitting, and the isovector form factor has also been obtained.

In this paper Acquisti voting protocol is modeled in applied pi calculus. Soundness and coercion-resistance are verified with the automatic tool ProVerif. The result shows that Acquisti protocol has the soundness and coercion-resistance in some conditions. To our best knowledge, the first automatic analysis of Acquisti protocol for an unbounded number of honest and corrupted voters is

In this paper, we prove the coincidence between strong/weak context bisimulation and strong/weak normal bisimulation for higher order π-calculus, which generalizes Sangiorgi’s work. To achieve this aim, we introduce indexed higher order π-calculus, which is similar to higher order π-calculus except that every prefix of any process is assigned to indices. Furthermore we present corresponding ind...

3 The continuous π-calculus 5 3.