src/HOL/Hoare_Parallel/document/root.bib
author wenzelm
Wed Apr 10 21:20:35 2013 +0200 (2013-04-10)
changeset 51692 ecd34f863242
parent 32621 a073cb249a06
permissions -rw-r--r--
tuned pretty layout: avoid nested Pretty.string_of, which merely happens to work with Isabelle/jEdit since formatting is delegated to Scala side;
declare command "print_case_translations" where it is actually defined;
nipkow@19401
     1
@inproceedings{NipkowP-FASE99,author={Tobias Nipkow and Prensa Nieto, Leonor},
nipkow@19401
     2
title={{Owicki/Gries} in {Isabelle/HOL}},
nipkow@19401
     3
booktitle={Fundamental Approaches to Software Engineering (FASE'99)},
nipkow@19401
     4
editor={J.-P. Finance},publisher="Springer",series="LNCS",volume=1577,
nipkow@19401
     5
pages={188--203},year=1999}
nipkow@19401
     6
nipkow@19401
     7
@InProceedings{PrenEsp00,
nipkow@19401
     8
  author =    {Prensa Nieto, Leonor and Javier Esparza}, 
nipkow@19401
     9
  title =     {Verifying Single and Multi-mutator Garbage Collectors
nipkow@19401
    10
                with {Owicki/Gries} in {Isabelle/HOL}},
nipkow@19401
    11
  booktitle = {Mathematical Foundations of Computer Science (MFCS 2000)},
nipkow@19401
    12
  editor =    {M. Nielsen and B. Rovan},
nipkow@19401
    13
  publisher = {Springer-Verlag},
nipkow@19401
    14
  series =    {LNCS},
nipkow@19401
    15
  volume =    1893, 
nipkow@19401
    16
  pages =     {619--628},
nipkow@19401
    17
  year =      2000
nipkow@19401
    18
}
nipkow@19401
    19
nipkow@19401
    20
@PhdThesis{Prensa-PhD,author={Leonor Prensa Nieto},
nipkow@19401
    21
title={Verification of Parallel Programs with the Owicki-Gries and
nipkow@19401
    22
Rely-Guarantee Methods in Isabelle/HOL},
nipkow@19401
    23
school={Technische Universit{\"a}t M{\"u}nchen},year=2002}
nipkow@19401
    24
nipkow@19401
    25
@inproceedings{Prensa-ESOP03,author={Prensa Nieto, Leonor},
nipkow@19401
    26
title={The {Rely-Guarantee} Method in {Isabelle/HOL}},
nipkow@19401
    27
booktitle={European Symposium on Programming (ESOP'03)},editor={P. Degano},
nipkow@19401
    28
publisher=Springer,series=LNCS,volume=2618,pages={348--362},year=2003}