skip to content
Specifying Message Passing and Time-Critical Systems with Temporal Logic Preview this item
ClosePreview this item
Checking...

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Author: Ron Koymans
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992.
Series: Lecture notes in computer science, 651.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

This monograph is concerned with the application of temporallogic to the areas of message passing and time-criticalsystems.

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ron Koymans
ISBN: 9783540562832 3540562834
OCLC Number: 699833768
Description: 1 Online-Ressource.
Contents: How to specify.- A review of modal and temporal logic.- Polymodal logics with inequality.- Message passing systems.- Time-critical systems.- Summary and concluding remarks.
Series Title: Lecture notes in computer science, 651.
Responsibility: by Ron Koymans.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/699833768> # Specifying Message Passing and Time-Critical Systems with Temporal Logic
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "699833768" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/335182#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/004.6015113/> ;
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/49895420> ; # Ron Koymans
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/335182> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/335182#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Specifying Message Passing and Time-Critical Systems with Temporal Logic" ;
   schema:productID "699833768" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/699833768#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/335182#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/3-540-56283-4> ;
   schema:url <https://doi.org/10.1007/3-540-56283-4> ;
   schema:workExample <http://worldcat.org/isbn/9783540562832> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/699833768> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/335182#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/335182#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/335182#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/699833768> ; # Specifying Message Passing and Time-Critical Systems with Temporal Logic
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://viaf.org/viaf/49895420> # Ron Koymans
    a schema:Person ;
   schema:familyName "Koymans" ;
   schema:givenName "Ron" ;
   schema:name "Ron Koymans" ;
    .

<http://worldcat.org/isbn/9783540562832>
    a schema:ProductModel ;
   schema:isbn "3540562834" ;
   schema:isbn "9783540562832" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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