Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems

In this paper, we propose a new algorithm for the derivation of a protocol specification in Pr/T-nets, which is the specification of communicating N entities (N can be given), from a given service specification in Pr/T-nets and an allocation of the places of the service specification to the N entities. Our algorithm decomposes each transition of the service specification into a set of communicating Pr/T-subnets running on the N entities. Moreover, for the efficient control of conflict of shared resources, we present a timestamp-based mutual exclusion algorithm and incorporate it into the derivation algorithm

Search for CP Violation in the Decay Z -> b (b bar) g

About three million hadronic decays of the Z collected by ALEPH in the years 1991-1994 are used to search for anomalous CP violation beyond the Standard Model in the decay Z -> b \bar{b} g. The study is performed by analyzing angular correlations between the two quarks and the gluon in three-jet events and by measuring the differential two-jet rate. No signal of CP violation is found. For the combinations of anomalous CP violating couplings, ${\hat{h}}_b = {\hat{h}}_{Ab}g_{Vb}-{\hat{h}}_{Vb}g_{Ab}$ and $h^{\ast}_b = \sqrt{\hat{h}_{Vb}^{2}+\hat{h}_{Ab}^{2}}$, limits of \hat{h}_b < 0.59$and$h^{\ast}_{b} < 3.02$ are given at 95\% CL.Comment: 8 pages, 1 postscript figure, uses here.sty, epsfig.st

Measurement of the W-pair cross section in e+e−e^+ e^- collisions at 172 GeV

The e+e- --> W+W- cross section is measured in a data sample collected by ALEPH at a mean centre--of--mass energy of 172.09 GEV, corresponding to an integrated luminosity of 10.65 pb-1. Cross sections are given for the three topologies, fully leptonic, semi-leptonic and hadronic of a W-pair decay. Under the assumption that no other decay modes are present, the W-pair cross section is measured to be 11.7 +- 1.2 (stat.) +- 0.3 (syst.) pb. The existence of the triple gauge boson vertex of the Standard Model is clearly preferred by the data. The decay branching ratio of the W boson into hadrons is measured to be B(W --> hadrons) = 67.7 +- 3.1 (stat.) +- 0.7 (syst.)%, allowing a determination of the CKM matrix element |Vcs|= 0.98 +- 0.14 (stat.) +- 0.03 (syst.)

Measurement of the tau lepton lifetime with the three-dimensional impact parameter method.

A new method is presented for the measurement of the mean $\tau$ lepton lifetime using events in which $\tau$'s are pair-produced and both $\tau$'s decay to hadrons and $\nu_\tau$. Based on the correlation between the two $\tau$'s produced at a symmetric $e^+ e^-$ collider, the 3DIP method relies on the three-dimensional information from a double-sided vertex detector and on kinematic constraints for the precise measurement of the $\tau$ decay angles. Using the data collected from 1992 to 1994 with the ALEPH detector at LEP, a $\tau$ lifetime of $288.0 \pm 3.1 \pm 1.3$\fs is obtained from the sample in which both $\tau$'s decay to one charged track, and $292.8 \pm 5.6 \pm 3.0$\fs from the sample in which one $\tau$ decays to one prong and the other to three prongs. The results show small statistical correlations with those derived from other methods. When combined with the previously published ALEPH measurements, the resulting $\tau$ lifetime is $291.2 \pm 2.0 \pm 1.2$\fs

Measurement of the tau lepton lifetime with the three-dimensional impact parameter method.

A new method is presented for the measurement of the mean $\tau$ lepton lifetime using events in which $\tau$'s are pair-produced and both $\tau$'s decay to hadrons and $\nu_\tau$. Based on the correlation between the two $\tau$'s produced at a symmetric $e^+ e^-$ collider, the 3DIP method relies on the three-dimensional information from a double-sided vertex detector and on kinematic constraints for the precise measurement of the $\tau$ decay angles. Using the data collected from 1992 to 1994 with the ALEPH detector at LEP, a $\tau$ lifetime of $288.0 \pm 3.1 \pm 1.3$\fs is obtained from the sample in which both $\tau$'s decay to one charged track, and $292.8 \pm 5.6 \pm 3.0$\fs from the sample in which one $\tau$ decays to one prong and the other to three prongs. The results show small statistical correlations with those derived from other methods. When combined with the previously published ALEPH measurements, the resulting $\tau$ lifetime is $291.2 \pm 2.0 \pm 1.2$\fs

Measurement of the tau lepton lifetime with the three-dimensional impact parameter method.

A new method is presented for the measurement of the mean $\tau$ lepton lifetime using events in which $\tau$'s are pair-produced and both $\tau$'s decay to hadrons and $\nu_\tau$. Based on the correlation between the two $\tau$'s produced at a symmetric $e^+ e^-$ collider, the 3DIP method relies on the three-dimensional information from a double-sided vertex detector and on kinematic constraints for the precise measurement of the $\tau$ decay angles. Using the data collected from 1992 to 1994 with the ALEPH detector at LEP, a $\tau$ lifetime of $288.0 \pm 3.1 \pm 1.3$\fs is obtained from the sample in which both $\tau$'s decay to one charged track, and $292.8 \pm 5.6 \pm 3.0$\fs from the sample in which one $\tau$ decays to one prong and the other to three prongs. The results show small statistical correlations with those derived from other methods. When combined with the previously published ALEPH measurements, the resulting $\tau$ lifetime is $291.2 \pm 2.0 \pm 1.2$\fs

Measurement of the tau lepton lifetime with the three-dimensional impact parameter method.

A new method is presented for the measurement of the mean $\tau$ lepton lifetime using events in which $\tau$'s are pair-produced and both $\tau$'s decay to hadrons and $\nu_\tau$. Based on the correlation between the two $\tau$'s produced at a symmetric $e^+ e^-$ collider, the 3DIP method relies on the three-dimensional information from a double-sided vertex detector and on kinematic constraints for the precise measurement of the $\tau$ decay angles. Using the data collected from 1992 to 1994 with the ALEPH detector at LEP, a $\tau$ lifetime of $288.0 \pm 3.1 \pm 1.3$\fs is obtained from the sample in which both $\tau$'s decay to one charged track, and $292.8 \pm 5.6 \pm 3.0$\fs from the sample in which one $\tau$ decays to one prong and the other to three prongs. The results show small statistical correlations with those derived from other methods. When combined with the previously published ALEPH measurements, the resulting $\tau$ lifetime is $291.2 \pm 2.0 \pm 1.2$\fs

Measurement of the tau lepton lifetime with the three-dimensional impact parameter method.

A new method is presented for the measurement of the mean $\tau$ lepton lifetime using events in which $\tau$'s are pair-produced and both $\tau$'s decay to hadrons and $\nu_\tau$. Based on the correlation between the two $\tau$'s produced at a symmetric $e^+ e^-$ collider, the 3DIP method relies on the three-dimensional information from a double-sided vertex detector and on kinematic constraints for the precise measurement of the $\tau$ decay angles. Using the data collected from 1992 to 1994 with the ALEPH detector at LEP, a $\tau$ lifetime of $288.0 \pm 3.1 \pm 1.3$\fs is obtained from the sample in which both $\tau$'s decay to one charged track, and $292.8 \pm 5.6 \pm 3.0$\fs from the sample in which one $\tau$ decays to one prong and the other to three prongs. The results show small statistical correlations with those derived from other methods. When combined with the previously published ALEPH measurements, the resulting $\tau$ lifetime is $291.2 \pm 2.0 \pm 1.2$\fs

Measurement of the tau lepton lifetime with the three-dimensional impact parameter method.

A new method is presented for the measurement of the mean $\tau$ lepton lifetime using events in which $\tau$'s are pair-produced and both $\tau$'s decay to hadrons and $\nu_\tau$. Based on the correlation between the two $\tau$'s produced at a symmetric $e^+ e^-$ collider, the 3DIP method relies on the three-dimensional information from a double-sided vertex detector and on kinematic constraints for the precise measurement of the $\tau$ decay angles. Using the data collected from 1992 to 1994 with the ALEPH detector at LEP, a $\tau$ lifetime of $288.0 \pm 3.1 \pm 1.3$\fs is obtained from the sample in which both $\tau$'s decay to one charged track, and $292.8 \pm 5.6 \pm 3.0$\fs from the sample in which one $\tau$ decays to one prong and the other to three prongs. The results show small statistical correlations with those derived from other methods. When combined with the previously published ALEPH measurements, the resulting $\tau$ lifetime is $291.2 \pm 2.0 \pm 1.2$\fs