Effective representation of RT-LOTOS terms by finite time petri nets

The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a compositionally defined mapping. The proof of the translation consistency is sketched in the paper and developed in [1]. The RT-LOTOS to TPN translation patterns formalized in the paper are being implemented. in a prototype tool. This enables reusing TPNs verification techniques and tools for the profit of RT-LOTOS

Measurement of the Proton Spin Structure Function g1p with a Pure Hydrogen Target

A measurement of the proton spin structure function g1p(x,Q^2) in deep-inelastic scattering is presented. The data were taken with the 27.6 GeV longitudinally polarised positron beam at HERA incident on a longitudinally polarised pure hydrogen gas target internal to the storage ring. The kinematic range is 0.021<x<0.85 and 0.8 GeV^2<Q^2<20 GeV^2. The integral Int_{0.021}^{0.85} g1p(x)dx evaluated at Q0^2 of 2.5 GeV^2 is 0.122+/-0.003(stat.)+/-0.010(syst.).Comment: 7 pages, 3 figures, 1 table, RevTeX late

Determination of the Deep Inelastic Contribution to the Generalised Gerasimov-Drell-Hearn Integral for the Proton and Neutron

The virtual photon absorption cross section differences [sigma_1/2-sigma_3/2] for the proton and neutron have been determined from measurements of polarised cross section asymmetries in deep inelastic scattering of 27.5 GeV longitudinally polarised positrons from polarised 1H and 3He internal gas targets. The data were collected in the region above the nucleon resonances in the kinematic range nu < 23.5 GeV and 0.8 GeV**2 < Q**2 < 12 GeV**2. For the proton the contribution to the generalised Gerasimov-Drell-Hearn integral was found to be substantial and must be included for an accurate determination of the full integral. Furthermore the data are consistent with a QCD next-to-leading order fit based on previous deep inelastic scattering data. Therefore higher twist effects do not appear significant.Comment: 6 pages, 3 figures, 1 table, revte

Observation of a Coherence Length Effect in Exclusive Rho^0 Electroproduction

Exclusive incoherent electroproduction of the rho^0(770) meson from 1H, 2H, 3He, and 14N targets has been studied by the HERMES experiment at squared four-momentum transfer Q**2>0.4 GeV**2 and positron energy loss nu from 9 to 20 GeV. The ratio of the 14N to 1H cross sections per nucleon, known as the nuclear transparency, was found to decrease with increasing coherence length of quark-antiquark fluctuations of the virtual photon. The data provide clear evidence of the interaction of the quark- antiquark fluctuations with the nuclear medium.Comment: RevTeX, 5 pages, 3 figure

Double-Spin Asymmetry in the Cross Section for Exclusive rho^0 Production in Lepton-Proton Scattering

Evidence for a positive longitudinal double-spin asymmetry = 0.24 +-0.11 (stat) +-0.02 (syst) in the cross section for exclusive diffractive rho^0(770) vector meson production in polarised lepton-proton scattering was observed by the HERMES experiment. The longitudinally polarised 27.56 GeV HERA positron beam was scattered off a longitudinally polarised pure hydrogen gas target. The average invariant mass of the photon-proton system has a value of = 4.9 GeV, while the average negative squared four-momentum of the virtual photon is = 1.7 GeV^2. The ratio of the present result to the corresponding spin asymmetry in inclusive deep-inelastic scattering is in agreement with an early theoretical prediction based on the generalised vector meson dominance model.Comment: 10 pages, 4 embedded figures, LaTe

Flavor Decomposition of the Polarized Quark Distributions in the Nucleon from Inclusive and Semi-inclusive Deep-inelastic Scattering

Spin asymmetries of semi-inclusive cross sections for the production of positively and negatively charged hadrons have been measured in deep-inelastic scattering of polarized positrons on polarized hydrogen and 3He targets, in the kinematic range 0.023<x<0.6 and 1 GeV^2<Q^2<10 GeV^2. Polarized quark distributions are extracted as a function of x for up $(u+u_bar) and down (d+d_bar) flavors. The up quark polarization is positive and the down quark polarization is negative in the measured range. The polarization of the sea is compatible with zero. The first moments of the polarized quark distributions are presented. The isospin non-singlet combination Delta_q_3 is consistent with the prediction based on the Bjorken sum rule. The moments of the polarized quark distributions are compared to predictions based on SU(3)_f flavor symmetry and to a prediction from lattice QCD.Comment: 14 pages, 6 figures (eps format), 10 tables in Latex New version contains tables of asymmetries and correlation matri

Erratum to: "Nuclear Effects on R=\sigma_L/\sigma_T in Deep-Inelastic Scattering" Phys.Lett. B475(2000)386

This erratum revokes the main conclusion of a Letter that reported measurements of cross sections for deep-inelastic scattering (DIS) of leptons on $^3$He and $^{14}$N targets, expressed as ratios of $\sigma_A / \sigma_D$ to the cross section on the deuterium target.Comment: 3 pages, 1 figur