Forward and backward simulations for timing-based systems (English)
National licence
- New search for: Lynch, Nancy
- New search for: Vaandrager, Frits
- New search for: Lynch, Nancy
- New search for: Vaandrager, Frits
In:
Real-Time: Theory in Practice
;
397-446
;
1992
- Article/Chapter (Book) / Electronic Resource
-
Title:Forward and backward simulations for timing-based systems
-
Contributors:Lynch, Nancy ( author ) / Vaandrager, Frits ( author )
-
Published in:Real-Time: Theory in Practice ; 397-446Lecture Notes in Computer Science ; 600 ; 397-446
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1992-01-01
-
Size:50 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
An old-fashioned recipe for real timeAbadi, Martín / Lamport, Leslie et al. | 1992
- 28
-
Verifying automata specifications of probabilistic real-time systemsAlur, Rajeev / Courcoubetis, Costas / Dill, David et al. | 1992
- 45
-
The theory of timed automataAlur, Rajeev / Dill, David et al. | 1992
- 74
-
Logics and models of real time: A surveyAlur, Rajeev / Henzinger, Thomas A. et al. | 1992
- 107
-
The state operator in real time process algebraBaeten, J. C. M. / Bergstra, J. A. et al. | 1992
- 124
-
Timed process algebras with urgent interactions and a unique powerful binary operatorBolognesi, Tommaso / Lucidi, Ferdinando et al. | 1992
- 149
-
Time in state based formal description techniques for distributed systemsCourtiat, Jp. / Diaz, M. et al. | 1992
- 176
-
Real-time and the Mu-Calculus (preliminary report)Emerson, E. Allen et al. | 1992
- 195
-
Implementing reactive programs on circuits a hardware implementation of LUSTRERocheteau, Frédéric / Halbwachs, Nicolas et al. | 1992
- 209
-
Semantics and completeness of Duration CalculusHansen, Michael R. / Chaochen, Zhou et al. | 1992
- 226
-
Timed transition systemsHenzinger, Thomas A. / Manna, Zohar / Pnueli, Amir et al. | 1992
- 252
-
Compositional verification of real-time systems using extended Hoare triplesHooman, Jozef et al. | 1992
- 291
-
Semantics of reactive systems in abstract timeHuizing, C. / Gerth, R. et al. | 1992
- 315
-
Problems, promises and performance: some questions for real-time system specificationJoseph, Mathai et al. | 1992
- 325
-
Abstraction in real time process algebraKlusener, A. S. et al. | 1992
- 353
-
(Real) time: A philosophical perspectiveKoymans, Ron et al. | 1992
- 371
-
Specification and analysis of resource-bound real-time systemsGerber, Richard / Lee, Insup et al. | 1992
- 397
-
Forward and backward simulations for timing-based systemsLynch, Nancy / Vaandrager, Frits et al. | 1992
- 447
-
Prom timed to hybrid systemsMaler, Oded / Manna, Zohar / Pnueli, Amir et al. | 1992
- 485
-
Coping with implementation dependencies in real-time system verificationMok, Aloysius K. et al. | 1992
- 502
-
Validating real-time systems by executing logic specificationsMorzenti, Angelo et al. | 1992
- 526
-
An overview and synthesis on timed process algebrasNicollin, Xavier / Sifakis, Joseph et al. | 1992
- 549
-
From ATP to timed graphs and hybrid systemsNicollin, Xavier / Sifakis, Joseph / Yovine, Sergio et al. | 1992
- 573
-
Verification of safety critical systems using TTM/RTTLOstroff, J. S. et al. | 1992
- 603
-
Predicative specification of timed processesSchenke, Michael et al. | 1992
- 618
-
Putting time into proof outlinesSchneider, Fred B. / Bloom, Bard / Marzullo, Keith et al. | 1992
- 640
-
Timed CSP: Theory and practiceOxford University Timed CSP Group et al. | 1992
- 676
-
A specification of the cat and mouse problemWood, William G. et al. | 1992
- 687
-
Layering and action refinement for timed systemsZwiers, Job et al. | 1992