skip to content
Partial order methods in verification : DIMACS workshop July 24-26, 1996 Preview this item
ClosePreview this item
Checking...

Partial order methods in verification : DIMACS workshop July 24-26, 1996

Author: Doron A Peled; Vaughan R Pratt; Gerard J Holzmann; DIMACS (Group)
Publisher: Providence, R.I. : American Mathematical Society, ©1997.
Series: DIMACS series in discrete mathematics and theoretical computer science, v. 29.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Princeton (NJ, 1996)
Kongreß
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Doron A Peled; Vaughan R Pratt; Gerard J Holzmann; DIMACS (Group)
ISBN: 0821805797 9780821805794
OCLC Number: 35849180
Notes: "Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Preface.
Description: xiv, 403 pages : illustrations ; 26 cm.
Contents: Prefix function view of states and events / Antoni Mazurkiewicz --
Elements of an automata theory over partial orders / Wolfgang Thomas --
Algebraic manipulations and vector languages / M.W. Shields --
Refinement with global equivalence proofs in temporal logic / Shmuel Katz --
A complete axiomatization of a first-order temporal logic over trace systems / Wojciech Penczek and Marian Srebrny --
Interleaved progress, concurrent progress, and local progress / W. Reisig --
Teams can see pomsets / Gordon Plotkin and Vaughan Pratt --
Presheaves as transition systems / Glynn Winskel and Mogens Nielsen --
On topological hierarchies of temporal properties / Christel Baier and Marta Kwiatkowska.
Series Title: DIMACS series in discrete mathematics and theoretical computer science, v. 29.
Responsibility: Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/35849180> # Partial order methods in verification : DIMACS workshop July 24-26, 1996
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "35849180" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/45752994#Place/providence_r_i> ; # Providence, R.I.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
   schema:about <http://dewey.info/class/005.276/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/computer_software_verification> ; # Computer software--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/logiciels_verification_congres> ; # Logiciels--Vérification--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/electronic_data_processing_distributed_processing_congresses> ; # Electronic data processing--Distributed processing--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/numerical_calculations_verification> ; # Numerical calculations--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/zustandsraum> ; # Zustandsraum
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/traitement_reparti_congres> ; # Traitement réparti--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/kongress> ; # Kongreß
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/halbordnung> ; # Halbordnung
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/computer_software_verification_congresses> ; # Computer software--Verification--Congresses
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:about <http://experiment.worldcat.org/entity/work/data/45752994#Topic/verifikation> ; # Verifikation
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/5080653> ; # Gerard J. Holzmann
   schema:contributor <http://viaf.org/viaf/85346726> ; # Doron A. Peled
   schema:contributor <http://experiment.worldcat.org/entity/work/data/45752994#Organization/dimacs_group> ; # DIMACS (Group)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_university> ; # Workshop on Partial Order Methods in Verification (1996 : Princeton University)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/45752994#Person/pratt_vaughan_r> ; # Vaughan R. Pratt
   schema:copyrightYear "1997" ;
   schema:datePublished "1997" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/45752994> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongreß"@en ;
   schema:genre "Princeton (NJ, 1996)"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1052-1798> ; # DIMACS series in discrete mathematics and theoretical computer science ;
   schema:name "Partial order methods in verification : DIMACS workshop July 24-26, 1996"@en ;
   schema:productID "35849180" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/35849180#PublicationEvent/providence_r_i_american_mathematical_society_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/45752994#Agent/american_mathematical_society> ; # American Mathematical Society
   schema:workExample <http://worldcat.org/isbn/9780821805794> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB97X8316> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/35849180> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/45752994#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
   schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Meeting/workshop_on_partial_order_methods_in_verification_1996_princeton_university> # Workshop on Partial Order Methods in Verification (1996 : Princeton University)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/45752994#Place/princeton_university> ; # Princeton University)
   schema:name "Workshop on Partial Order Methods in Verification (1996 : Princeton University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Person/pratt_vaughan_r> # Vaughan R. Pratt
    a schema:Person ;
   schema:familyName "Pratt" ;
   schema:givenName "Vaughan R." ;
   schema:name "Vaughan R. Pratt" ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Place/princeton_university> # Princeton University)
    a schema:Place ;
   schema:name "Princeton University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
   schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Topic/computer_software_verification_congresses> # Computer software--Verification--Congresses
    a schema:Intangible ;
   schema:name "Computer software--Verification--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102927> ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Topic/electronic_data_processing_distributed_processing_congresses> # Electronic data processing--Distributed processing--Congresses
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Topic/logiciels_verification_congres> # Logiciels--Vérification--Congrès
    a schema:Intangible ;
   schema:name "Logiciels--Vérification--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Topic/numerical_calculations_verification> # Numerical calculations--Verification
    a schema:Intangible ;
   schema:name "Numerical calculations--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/45752994#Topic/traitement_reparti_congres> # Traitement réparti--Congrès
    a schema:Intangible ;
   schema:name "Traitement réparti--Congrès"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://viaf.org/viaf/5080653> # Gerard J. Holzmann
    a schema:Person ;
   schema:familyName "Holzmann" ;
   schema:givenName "Gerard J." ;
   schema:name "Gerard J. Holzmann" ;
    .

<http://viaf.org/viaf/85346726> # Doron A. Peled
    a schema:Person ;
   schema:birthDate "1962" ;
   schema:familyName "Peled" ;
   schema:givenName "Doron A." ;
   schema:name "Doron A. Peled" ;
    .

<http://worldcat.org/isbn/9780821805794>
    a schema:ProductModel ;
   schema:isbn "0821805797" ;
   schema:isbn "9780821805794" ;
    .

<http://worldcat.org/issn/1052-1798> # DIMACS series in discrete mathematics and theoretical computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/35849180> ; # Partial order methods in verification : DIMACS workshop July 24-26, 1996
   schema:issn "1052-1798" ;
   schema:name "DIMACS series in discrete mathematics and theoretical computer science ;" ;
   schema:name "DIMACS series in discrete mathematics and theoretical computer science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.