Abstract is missing.
- ISL: An Interval Logic for the Specification of Real-time ProgramsAsis Goswami, Michael Bell, Mathai Joseph. 1-20
- Duration Specifications for Shared ProcessorsZhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel. 21-32
- A Compositional Semantics for Fault-Tolerant Real-Time SystemsJ. Coenen, Jozef Hooman. 33-51
- Modelling Real-Time Behaviour with an Interval Time CalculusMats Daniels. 53-71
- Multicycles and RTL Logic SatisfiabilityOdile Millet. 73-86
- Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time SystemsAbha Moitra. 87-106
- Observing Task Preemption in Ada 9xK. T. Narayana. 107-129
- Real-Time Scheduling by Queue AutomataLuca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi. 131-147
- Broadcast Communication for Real-time ProcessesJim Davies, Dave Jackson, Steve Schneider. 149-169
- Analysis of Timeliness Requirements in Safety-Critical SystemsRogério de Lemos, Amer Saeed, Tom Anderson. 171-192
- Verification of a Reliable Net ProtocolVictor Yodaiken, Krithi Ramamritham. 193-215
- Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock SynchronizationNatarajan Shankar. 217-236
- Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control SystemsJohn M. Rushby. 237-257
- On Fault-Tolerant Symbolic ComputationsBernard Delyon, Oded Maler. 259-269
- Temporal Logic Applied to Reliability Modelling of Fault-Tolerant SystemsKlaus D. Heidtmann. 271-289
- Specifying Asynchronous Transfer of ControlPadmanabhan Krishnan, Peter D. Mosses. 291-306
- Protocol Design by Layered Decomposition: A Compositional ApproachWil Janssen, Job Zwiers. 307-326
- Scheduling in Real-Time ModelsReino Kurki-Suonio, Kari Systä, Jüri Vain. 327-339
- A Temporal Approach to Requirements Specification of Real-Time SystemsYogesh Naik. 341-361
- RLucid, a General Real-Time Dataflow LanguageJohn Plaice. 363-374
- A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order LogicRachel Cardell-Oliver. 375-392
- Specification and Verification of Real-Time Behaviour Using Z and RTLColin J. Fidge. 393-409
- TAM: A Formal Framework for the Development of Distributed Real-Time SystemsDavid Scholefield, Hussein S. M. Zedan. 411-428
- An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL LanguageMartin Richard, Olivier Roux. 429-450
- The Real-Time Behaviour of Asynchronously Communicating ProcessesFrank S. de Boer, Jozef Hooman. 451-472
- Asynchronous Communication in Real Space Process AlgebraJos C. M. Baeten, Jan A. Bergstra. 473-492
- Translating Timed Process Algebra into Prioritized Process AlgebraAlan Jeffrey. 493-506
- Operational Semantics for Timed ObservationsYolanda Ortega-Mallén. 507-527
- Real-Timed Concurrent Refineable BehavioursDavid Murphy, David H. Pitt. 529-545
- Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event ModelsHans Toetenel, Jan van Katwijk. 547-570
- Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal LogicPeter Coesmans, Martin J. Wieczorek. 571-590
- Timed and Hybrid Statecharts and Their Textual RepresentationYonit Kesten, Amir Pnueli. 591-620