skip to content
Synchronous programming of reactive systems Preview this item
ClosePreview this item
Checking...

Synchronous programming of reactive systems

Author: Nicolas Halbwachs
Publisher: Dordrecht ; Boston ; London : Kluwer academic publ., cop. 1993.
Series: Kluwer international series in engineering and computer science, 215
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This book will attempt to give a first synthesis of recent works con- cerning reactive system design. Industrial process control systems, transporta- tion control and supervision systems,  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: Nicolas Halbwachs
ISBN: 0792393112 9780792393115
OCLC Number: 468305687
Notes: Bibliogr. p. 161-170. Index.
Description: XIII-174 p. : ill. ; 25 cm.
Contents: List of Figures. List of Tables. Foreword. 1. Introduction. I: Four Synchronous Languages. 2. The Imperative Language ESTEREL. 3. Graphic Formalisms: The Language ARGOS. 4. Declarative Languages: LUSTRE and SIGNAL. II: Compilation. 5. Static Verifications. 6. Sequential Code Generation. 7. Distributed Code Generation. 8. Circuit Generation from Synchronous Programs. III: Program Verification. 9. LUSTRE Program Verification: The Tool Lesar. 10. Using Auto for ESTEREL Program Verification. 11. Conclusion. Bibliography. Index.
Series Title: Kluwer international series in engineering and computer science, 215
Responsibility: by Nicolas Halbwachs ...
More information:

Reviews

Editorial reviews

Publisher Synopsis

` ... The material in the book is well-organized, the style is clear, concise and readable. This book can be recommended as serious, although enjoyable, reading for everybody who is interested in Read more...

 
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/468305687> # Synchronous programming of reactive systems
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "468305687" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/29206604#Place/dordrecht> ; # Dordrecht
    schema:about <http://dewey.info/class/005.13/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/temps_reel> ; # temps réel
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/langages_de_programmation> ; # Langages de programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/verification_programme> ; # vérification programme
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/signal> ; # signal
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/lustre> ; # LUSTRE
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/programmation_parallele> ; # programmation parallèle
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/systeme_reactif> ; # système réactif
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/multitraitement> ; # multitraitement
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/temps_reel_informatique> ; # Temps réel (informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/esterel> ; # ESTEREL
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/compilation> ; # compilation
    schema:about <http://experiment.worldcat.org/entity/work/data/29206604#Topic/argos> ; # ARGOS
    schema:author <http://viaf.org/viaf/167179957> ; # Nicolas Halbwachs
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "op." ;
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/29206604> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/29206604#Series/kluwer_international_series_in_engineering_and_computer_science> ; # Kluwer international series in engineering and computer science ;
    schema:name "Synchronous programming of reactive systems" ;
    schema:productID "468305687" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/468305687#PublicationEvent/dordrecht_boston_london_kluwer_academic_publ_cop_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/29206604#Agent/kluwer_academic_publ> ; # Kluwer academic publ.
    schema:workExample <http://worldcat.org/isbn/9780792393115> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/468305687> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/29206604#Agent/kluwer_academic_publ> # Kluwer academic publ.
    a bgn:Agent ;
    schema:name "Kluwer academic publ." ;
    .

<http://experiment.worldcat.org/entity/work/data/29206604#Series/kluwer_international_series_in_engineering_and_computer_science> # Kluwer international series in engineering and computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/468305687> ; # Synchronous programming of reactive systems
    schema:name "Kluwer international series in engineering and computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/29206604#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
    schema:name "Langages de programmation" ;
    .

<http://experiment.worldcat.org/entity/work/data/29206604#Topic/programmation_parallele> # programmation parallèle
    a schema:Intangible ;
    schema:name "programmation parallèle" ;
    .

<http://experiment.worldcat.org/entity/work/data/29206604#Topic/systeme_reactif> # système réactif
    a schema:Intangible ;
    schema:name "système réactif" ;
    .

<http://experiment.worldcat.org/entity/work/data/29206604#Topic/temps_reel_informatique> # Temps réel (informatique)
    a schema:Intangible ;
    schema:name "Temps réel (informatique)" ;
    .

<http://experiment.worldcat.org/entity/work/data/29206604#Topic/verification_programme> # vérification programme
    a schema:Intangible ;
    schema:name "vérification programme" ;
    .

<http://viaf.org/viaf/167179957> # Nicolas Halbwachs
    a schema:Person ;
    schema:familyName "Halbwachs" ;
    schema:givenName "Nicolas" ;
    schema:name "Nicolas Halbwachs" ;
    .

<http://worldcat.org/isbn/9780792393115>
    a schema:ProductModel ;
    schema:isbn "0792393112" ;
    schema:isbn "9780792393115" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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