Coverart for item
The Resource Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings, J.W. de Bakker [and others] (eds.)

Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings, J.W. de Bakker [and others] (eds.)

Label
Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings
Title
Real-time, theory in practice
Title remainder
REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings
Statement of responsibility
J.W. de Bakker [and others] (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
In the past decade, the formal theory of specification, verfication and development of real-time 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 real-time 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 real-time 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
Member of
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
  • Real-time data processing
  • Real-time data processing
  • Computer Science
  • Engineering & Applied Sciences
Label
Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings, J.W. de Bakker [and others] (eds.)
Instantiates
Publication
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 old-fashioned recipe for real time -- Verifying automata specifications of probabilistic real-time 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 -- Real-time and the Mu-Calculus (preliminary report) -- Implementing reactive programs on circuits a hardware implementation of LUSTRE -- Semantics and completeness of Duration Calculus -- Timed transition systems -- Compositional verification of real-time systems using extended Hoare triples -- Semantics of reactive systems in abstract time -- Problems, promises and performance: some questions for real-time system specification -- Abstraction in real time process algebra -- (Real) time: A philosophical perspective -- Specification and analysis of resource-bound real-time systems -- Forward and backward simulations for timing-based systems -- Prom timed to hybrid systems -- Coping with implementation dependencies in real-time system verification -- Validating real-time 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
Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings, J.W. de Bakker [and others] (eds.)
Publication
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 old-fashioned recipe for real time -- Verifying automata specifications of probabilistic real-time 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 -- Real-time and the Mu-Calculus (preliminary report) -- Implementing reactive programs on circuits a hardware implementation of LUSTRE -- Semantics and completeness of Duration Calculus -- Timed transition systems -- Compositional verification of real-time systems using extended Hoare triples -- Semantics of reactive systems in abstract time -- Problems, promises and performance: some questions for real-time system specification -- Abstraction in real time process algebra -- (Real) time: A philosophical perspective -- Specification and analysis of resource-bound real-time systems -- Forward and backward simulations for timing-based systems -- Prom timed to hybrid systems -- Coping with implementation dependencies in real-time system verification -- Validating real-time 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 Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...