The Resource Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.)
Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.)
Resource Information
The item Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
 Summary
 In the past decade, the formal theory of specification, verfication and development of realtime programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in realtime is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of realtime with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions
 Language
 eng
 Extent
 1 online resource (viii, 723 pages)
 Contents

 An oldfashioned recipe for real time
 Verifying automata specifications of probabilistic realtime systems
 The theory of timed automata
 Logics and models of real time: A survey
 The state operator in real time process algebra
 Timed process algebras with urgent interactions and a unique powerful binary operator
 Time in state based formal description techniques for distributed systems
 Realtime and the MuCalculus (preliminary report)
 Implementing reactive programs on circuits a hardware implementation of LUSTRE
 Semantics and completeness of Duration Calculus
 Timed transition systems
 Compositional verification of realtime systems using extended Hoare triples
 Semantics of reactive systems in abstract time
 Problems, promises and performance: some questions for realtime system specification
 Abstraction in real time process algebra
 (Real) time: A philosophical perspective
 Specification and analysis of resourcebound realtime systems
 Forward and backward simulations for timingbased systems
 Prom timed to hybrid systems
 Coping with implementation dependencies in realtime system verification
 Validating realtime systems by executing logic specifications
 An overview and synthesis on timed process algebras
 From ATP to timed graphs and hybrid systems
 Verification of safety critical systems using TTM/RTTL
 Predicative specification of timed processes
 Putting time into proof outlines
 Timed CSP: Theory and practice
 A specification of the cat and mouse problem
 Layering and action refinement for timed systems
 Isbn
 9783540472186
 Label
 Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings
 Title
 Realtime, theory in practice
 Title remainder
 REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings
 Statement of responsibility
 J.W. de Bakker [and others] (eds.)
 Language
 eng
 Summary
 In the past decade, the formal theory of specification, verfication and development of realtime programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in realtime is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of realtime with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions
 Cataloging source
 SCPER
 Dewey number
 005.1/1
 Illustrations
 illustrations
 Index
 no index present
 LC call number
 QA76.54
 LC item number
 .R49 1991
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 1991
 http://bibfra.me/vocab/lite/meetingName
 REX Workshop
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1939
 http://library.link/vocab/relatedWorkOrContributorName
 Bakker, J. W. de
 Series statement
 Lecture notes in computer science,
 Series volume
 600
 http://library.link/vocab/subjectName

 Realtime data processing
 Realtime data processing
 Computer Science
 Engineering & Applied Sciences
 Label
 Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.)
 Bibliography note
 Includes bibliographical references
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 An oldfashioned recipe for real time  Verifying automata specifications of probabilistic realtime systems  The theory of timed automata  Logics and models of real time: A survey  The state operator in real time process algebra  Timed process algebras with urgent interactions and a unique powerful binary operator  Time in state based formal description techniques for distributed systems  Realtime and the MuCalculus (preliminary report)  Implementing reactive programs on circuits a hardware implementation of LUSTRE  Semantics and completeness of Duration Calculus  Timed transition systems  Compositional verification of realtime systems using extended Hoare triples  Semantics of reactive systems in abstract time  Problems, promises and performance: some questions for realtime system specification  Abstraction in real time process algebra  (Real) time: A philosophical perspective  Specification and analysis of resourcebound realtime systems  Forward and backward simulations for timingbased systems  Prom timed to hybrid systems  Coping with implementation dependencies in realtime system verification  Validating realtime systems by executing logic specifications  An overview and synthesis on timed process algebras  From ATP to timed graphs and hybrid systems  Verification of safety critical systems using TTM/RTTL  Predicative specification of timed processes  Putting time into proof outlines  Timed CSP: Theory and practice  A specification of the cat and mouse problem  Layering and action refinement for timed systems
 Control code
 321365838
 Dimensions
 unknown
 Extent
 1 online resource (viii, 723 pages)
 Form of item
 online
 Isbn
 9783540472186
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/BFb0031984
 Other physical details
 illustrations.
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)321365838
 Label
 Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.)
 Bibliography note
 Includes bibliographical references
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 An oldfashioned recipe for real time  Verifying automata specifications of probabilistic realtime systems  The theory of timed automata  Logics and models of real time: A survey  The state operator in real time process algebra  Timed process algebras with urgent interactions and a unique powerful binary operator  Time in state based formal description techniques for distributed systems  Realtime and the MuCalculus (preliminary report)  Implementing reactive programs on circuits a hardware implementation of LUSTRE  Semantics and completeness of Duration Calculus  Timed transition systems  Compositional verification of realtime systems using extended Hoare triples  Semantics of reactive systems in abstract time  Problems, promises and performance: some questions for realtime system specification  Abstraction in real time process algebra  (Real) time: A philosophical perspective  Specification and analysis of resourcebound realtime systems  Forward and backward simulations for timingbased systems  Prom timed to hybrid systems  Coping with implementation dependencies in realtime system verification  Validating realtime systems by executing logic specifications  An overview and synthesis on timed process algebras  From ATP to timed graphs and hybrid systems  Verification of safety critical systems using TTM/RTTL  Predicative specification of timed processes  Putting time into proof outlines  Timed CSP: Theory and practice  A specification of the cat and mouse problem  Layering and action refinement for timed systems
 Control code
 321365838
 Dimensions
 unknown
 Extent
 1 online resource (viii, 723 pages)
 Form of item
 online
 Isbn
 9783540472186
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/BFb0031984
 Other physical details
 illustrations.
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)321365838
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/RealtimetheoryinpracticeREXWorkshop/azuyZIJgVDk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/RealtimetheoryinpracticeREXWorkshop/azuyZIJgVDk/">Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/RealtimetheoryinpracticeREXWorkshop/azuyZIJgVDk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/RealtimetheoryinpracticeREXWorkshop/azuyZIJgVDk/">Realtime, theory in practice : REX Workshop, Mook, the Netherlands, June 37, 1991 : proceedings, J.W. de Bakker [and others] (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>