2. FTRTFT 1992: Nijmegen, The Netherlands

@proceedings{DBLP:conf/ftrtft/1992,
  editor    = {Jan Vytopil},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
               International Symposium, Nijmegen, The Netherlands, January 8-10,
               1992, Proceedings},
  booktitle = {FTRTFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {571},
  year      = {1991},
  isbn      = {3-540-55092-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

• Asis Goswami, Michael Bell, Mathai Joseph: ISL: An Interval Logic for the Specification of Real-time Programs. 1-20
• Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Duration Specifications for Shared Processors. 21-32
• J. Coenen, Jozef Hooman: A Compositional Semantics for Fault-Tolerant Real-Time Systems. 33-51

Session 2A

• Mats Daniels: Modelling Real-Time Behaviour with an Interval Time Calculus. 53-71
• Odile Millet: Multicycles and RTL Logic Satisfiability. 73-86

Session 2B

• Abha Moitra: Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems. 87-106
• K. T. Narayana: Observing Task Preemption in Ada 9x. 107-129

Session 3

• Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi: Real-Time Scheduling by Queue Automata. 131-147
• Jim Davies, Dave Jackson, Steve Schneider: Broadcast Communication for Real-time Processes. 149-169
• Rogério de Lemos, Amer Saeed, Tom Anderson: Analysis of Timeliness Requirements in Safety-Critical Systems. 171-192

Session 4A

• Victor Yodaiken, Krithi Ramamritham: Verification of a Reliable Net Protocol. 193-215
• Natarajan Shankar: Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization. 217-236

Session 5

• John M. Rushby: Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems. 237-257
• Bernard Delyon, Oded Maler: On Fault-Tolerant Symbolic Computations. 259-269

Session 6A

• Klaus D. Heidtmann: Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems. 271-289

Session 6B

• Padmanabhan Krishnan, Peter D. Mosses: Specifying Asynchronous Transfer of Control. 291-306
• Wil Janssen, Job Zwiers: Protocol Design by Layered Decomposition: A Compositional Approach. 307-326

Session 7A

• Reino Kurki-Suonio, Kari Systä, Jüri Vain: Scheduling in Real-Time Models. 327-339
• Yogesh Naik: A Temporal Approach to Requirements Specification of Real-Time Systems. 341-361
• John Plaice: RLucid, a General Real-Time Dataflow Language. 363-374

Session 7B

• Rachel Cardell-Oliver: A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic. 375-392
• Colin J. Fidge: Specification and Verification of Real-Time Behaviour Using Z and RTL. 393-409
• David Scholefield, Hussein S. M. Zedan: TAM: A Formal Framework for the Development of Distributed Real-Time Systems. 411-428

Session 8

• Martin Richard, Olivier Roux: An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. 429-450
• Frank S. de Boer, Jozef Hooman: The Real-Time Behaviour of Asynchronously Communicating Processes. 451-472

Session 9A

• Jos C. M. Baeten, Jan A. Bergstra: Asynchronous Communication in Real Space Process Algebra. 473-492
• Alan Jeffrey: Translating Timed Process Algebra into Prioritized Process Algebra. 493-506
• Yolanda Ortega-Mallén: Operational Semantics for Timed Observations. 507-527

Session 9B

• David Murphy, David H. Pitt: Real-Timed Concurrent Refineable Behaviours. 529-545
• Hans Toetenel, Jan van Katwijk: Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. 547-570

Supplement

• Peter Coesmans, Martin J. Wieczorek: Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic. 571-590
• Yonit Kesten, Amir Pnueli: Timed and Hybrid Statecharts and Their Textual Representation. 591-620