skip to content
Verifying concurrent processes using temporal logic Preview this item
ClosePreview this item
Checking...

Verifying concurrent processes using temporal logic

Author: Brent T Hailpern
Publisher: Berlin ; New York : Springer-Verlag, 1982.
Series: Lecture notes in computer science, 129.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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

Additional Physical Format: Print version:
Hailpern, Brent T. (Brent Tzion), 1955-
Verifying concurrent processes using temporal logic.
Berlin ; New York : Springer-Verlag, 1982
(DLC) 82000856
(OCoLC)8219232
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Brent T Hailpern
ISBN: 9783540390343 3540390340
OCLC Number: 562960941
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 208 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.
Series Title: Lecture notes in computer science, 129.
Responsibility: Brent T. Hailpern.

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/562960941> # Verifying concurrent processes using temporal logic
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "562960941" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/457888#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/457888#Topic/parallelisme_informatique> ; # Parallélisme (Informatique)
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://dewey.info/class/001.642/e19/> ;
   schema:about <http://id.worldcat.org/fast/872448> ; # Computer programs--Verification
   schema:about <http://id.loc.gov/authorities/subjects/sh85029528> ; # Computer programs--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/457888#Topic/logiciels_verification> ; # Logiciels--Vérification
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/52275853> ; # Brent Tzion Hailpern
   schema:datePublished "1982" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/457888> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/457888#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/8219232> ;
   schema:name "Verifying concurrent processes using temporal logic"@en ;
   schema:productID "562960941" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/562960941#PublicationEvent/berlin_new_york_springer_verlag_1982> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/457888#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/8219232.html> ;
   schema:url <http://dx.doi.org/10.1007/3-540-11205-7> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/3-540-11205-7> ;
   schema:workExample <http://worldcat.org/isbn/9783540390343> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/562960941> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/457888#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/457888#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/562960941> ; # Verifying concurrent processes using temporal logic
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/457888#Topic/logiciels_verification> # Logiciels--Vérification
    a schema:Intangible ;
   schema:name "Logiciels--Vérification"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/457888#Topic/parallelisme_informatique> # Parallélisme (Informatique)
    a schema:Intangible ;
   schema:name "Parallélisme (Informatique)"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85029528> # Computer programs--Verification
    a schema:Intangible ;
   schema:name "Computer programs--Verification"@en ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
   schema:name "Parallel processing (Electronic computers)"@en ;
    .

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

<http://viaf.org/viaf/52275853> # Brent Tzion Hailpern
    a schema:Person ;
   schema:birthDate "1955" ;
   schema:familyName "Hailpern" ;
   schema:givenName "Brent Tzion" ;
   schema:givenName "Brent T." ;
   schema:name "Brent Tzion Hailpern" ;
    .

<http://worldcat.org/isbn/9783540390343>
    a schema:ProductModel ;
   schema:isbn "3540390340" ;
   schema:isbn "9783540390343" ;
    .

<http://www.worldcat.org/oclc/8219232>
    a schema:CreativeWork ;
   rdfs:label "Verifying concurrent processes using temporal logic." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/562960941> ; # Verifying concurrent processes using temporal logic
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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