ZIB

Hits per page

hits 1 - 2 | 2 hits

Sorting

Electronic Resource

MetateM: An introduction (1995)

Barringer, H. ; Fisher, M. ; Gabbay, D. ; [et al.]

Springer

Formal aspects of computing 7 (1995), S. 533-549

add to mindlist on the mindlist

Details

ISSN: 1433-299X

Keywords: Modal and temporal logics ; Reactive systems ; Specification ; Prototyping ; Mechanical verification ; Non-procedural languages ; Logic programming

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01211631

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

Electronic Resource

First measurement of the polarisation transfer on the proton in the reactions $$H(\vec e,e'\vec p)$$ and $$D(\vec e,e'\vec p)$$ (1995)

Eyl, D. ; Frey, A. ; Andresen, H. G. ; [et al.]

Springer

The European physical journal 352 (1995), S. 211-214

add to mindlist on the mindlist

Details

ISSN: 1434-601X

Keywords: 13.40.Fn ; 25.30.Bf

Source: Springer Online Journal Archives 1860-2000

Topics: Physics

Notes: Abstract The measurement of the polarisation transfer to the proton in the reactions $$H(\vec e,e'\vec p)$$ and $$D(\vec e,e'\vec p)$$ performed with longitudinally polarised electrons in quasi-free kinematics is presented. The coincidence measurement was executed atQ 2≈8fm −2 using the 855 MeV, c.w. beam of the Mainz Microtron MAMI. The recoil polarisation was determined by means of a carbon analyser. The experiment shows that the binding of the nucleon does not modify the polarisationP x of the recoil proton within an error ofΔ P x/Px≈10%. The measured polarisation agrees with recent theoretical predictions. Implications for the measurement of the electric form factor of the neutron using the $$D(\vec e,e'\vec n)$$ reaction are discussed.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01298910

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hits 1 - 2 | 2 hits