skip to content
An interleaving model for real time Preview this item
ClosePreview this item
Checking...

An interleaving model for real time

Author: T A Henzinger; Zohar Manna; Amir Pnueli
Publisher: Stanford, Calif. : Dept. of Computer Science, Stanford University, [1990]
Series: Report (Stanford University. Computer Science Department), no. STAN-CS-90-1329.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
The interleaving model is both adequate and sufficiently abstract to allow for the practical specification and verification of many properties of concurrent systems. We incorporate real time into this model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative  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

Document Type: Book
All Authors / Contributors: T A Henzinger; Zohar Manna; Amir Pnueli
OCLC Number: 24319247
Notes: Cover title.
"September 1990."
Description: 36 pages : illustrations ; 28 cm.
Series Title: Report (Stanford University. Computer Science Department), no. STAN-CS-90-1329.
Responsibility: by T.A. Henzinger, Z. Manna, and A. Pnueli.

Abstract:

The interleaving model is both adequate and sufficiently abstract to allow for the practical specification and verification of many properties of concurrent systems. We incorporate real time into this model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upper-bound real-time requirements for transitions. We present proof rules to establish lower and upper real-time bounds for response properties of real-time transition systems. This proof system can be used to verify bounded-invariance and bounded-response properties, such as timely terrnination of shared-variables multi-process systems, whose semantics is defined in terms of real-time transition systems.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/24319247> # An interleaving model for real time
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "24319247" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26425976#Place/stanford_calif> ; # Stanford, Calif.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    schema:about <http://dewey.info/class/004.33/e20/> ;
    schema:about <http://id.worldcat.org/fast/1091219> ; # Real-time data processing
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/91223528> ; # Zohar Manna
    schema:contributor <http://viaf.org/viaf/59337776> ; # Amir Pnueli
    schema:creator <http://viaf.org/viaf/67255713> ; # Thomas A. Henzinger
    schema:datePublished "1990" ;
    schema:description "The interleaving model is both adequate and sufficiently abstract to allow for the practical specification and verification of many properties of concurrent systems. We incorporate real time into this model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upper-bound real-time requirements for transitions. We present proof rules to establish lower and upper real-time bounds for response properties of real-time transition systems. This proof system can be used to verify bounded-invariance and bounded-response properties, such as timely terrnination of shared-variables multi-process systems, whose semantics is defined in terms of real-time transition systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/26425976> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26425976#Series/report> ; # Report ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26425976#Series/report_stanford_university_computer_science_department> ; # Report (Stanford University. Computer Science Department) ;
    schema:name "An interleaving model for real time"@en ;
    schema:productID "24319247" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/24319247#PublicationEvent/stanford_calif_dept_of_computer_science_stanford_university_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/26425976#Agent/dept_of_computer_science_stanford_university> ; # Dept. of Computer Science, Stanford University
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/24319247> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/26425976#Agent/dept_of_computer_science_stanford_university> # Dept. of Computer Science, Stanford University
    a bgn:Agent ;
    schema:name "Dept. of Computer Science, Stanford University" ;
    .

<http://experiment.worldcat.org/entity/work/data/26425976#Place/stanford_calif> # Stanford, Calif.
    a schema:Place ;
    schema:name "Stanford, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/26425976#Series/report> # Report ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/24319247> ; # An interleaving model for real time
    schema:name "Report ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/26425976#Series/report_stanford_university_computer_science_department> # Report (Stanford University. Computer Science Department) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/24319247> ; # An interleaving model for real time
    schema:name "Report (Stanford University. Computer Science Department) ;" ;
    .

<http://id.worldcat.org/fast/1091219> # Real-time data processing
    a schema:Intangible ;
    schema:name "Real-time data processing"@en ;
    .

<http://viaf.org/viaf/59337776> # Amir Pnueli
    a schema:Person ;
    schema:birthDate "1941" ;
    schema:deathDate "2009" ;
    schema:familyName "Pnueli" ;
    schema:givenName "Amir" ;
    schema:name "Amir Pnueli" ;
    .

<http://viaf.org/viaf/67255713> # Thomas A. Henzinger
    a schema:Person ;
    schema:familyName "Henzinger" ;
    schema:givenName "Thomas A." ;
    schema:givenName "T. A." ;
    schema:name "Thomas A. Henzinger" ;
    .

<http://viaf.org/viaf/91223528> # Zohar Manna
    a schema:Person ;
    schema:familyName "Manna" ;
    schema:givenName "Zohar" ;
    schema:name "Zohar Manna" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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