SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Valencia G) srt2:(2002-2004)"

Sökning: WFRF:(Valencia G) > (2002-2004)

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Hagiwara, K, et al. (författare)
  • Review of particle physics
  • 2002
  • Ingår i: Physical Review D (Particles and Fields). - 0556-2821. ; 66:1
  • Forskningsöversikt (refereegranskat)abstract
    • This biennial Review summarizes much of Particle Physics Using data from previous editions, plus 2205 new measurements from 667 papers, we list, evaluate, and average measured properties of gauge bosons, leptons, quarks, mesons, and baryons We also summarize searches for hypothetical particles such as Higgs bosons, heavy neutrinos, and supersymmetric particles All the particle properties and search limits are listed in Summary Tables We also give numerous tables, figures, formulae, and reviews of topics such as the Standard Model, particle detectors, probability, and statistics This edition features expanded coverage of CP violation in B mesons and of neutrino oscillations For the first time we cover searches for evidence of extra dimensions (both in the particle listings and in a new review) Another new review is on Grand Unified Theories A booklet is available containing the Summary Tables and abbreviated versions of some of the other sections of this full Review All tables, listings, and reviews (and errata) are also available on the Particle Data Group website http //pdg 1b1 gov.
  •  
2.
  • Giambiagi, P, et al. (författare)
  • On the expressiveness of infinite behavior and name scoping in process calculi
  • 2004
  • Ingår i: FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS. - BERLIN : SPRINGER. - 3540212981 ; , s. 226-240
  • Konferensbidrag (refereegranskat)abstract
    • In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In this paper we study various representatives of these calculi based upon both their relative expressiveness and the decidability of divergence. We regard any two calculi as being equally expressive iff for every process in each calculus, there exists a weakly bisimilar process in the other. By providing weak bisimilarity preserving mappings among the various variants, we show that in the context of relabeling-free and finite summation calculi: (1) CCS with parameterless (or constant) definitions is equally expressive to the variant with parametric definitions. (2) The CCS variant with replication is equally expressive to that with recursive expressions and static scoping. We also state that the divergence problem is undecidable for the calculi in (1) but decidable for those in (2). We obtain this from (un)decidability results by Busi, Gabbrielli and Zavattaro, and by showing the relevant mappings to be computable and to preserve divergence and its negation. From (1) and the well-known fact that parametric definitions can replace injective relabelings, we show that injective relabelings are redundant (i.e., derived) in CCS (which has constant definitions only).
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy