2. FTRTFT 1992: Nijmegen, The Netherlands

Jan Vytopil (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Lecture Notes in Computer Science 571 Springer 1991, ISBN 3-540-55092-5 BibTeX

@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 BibTeX
Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Duration Specifications for Shared Processors. 21-32 BibTeX
J. Coenen, Jozef Hooman: A Compositional Semantics for Fault-Tolerant Real-Time Systems. 33-51 BibTeX

Session 2A

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

Session 2B

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

Session 3

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

Session 4A

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

Session 5

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

Session 6A

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

Session 6B

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

Session 7A

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

Session 7B

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

Session 8

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

Session 9A

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

Session 9B

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

Supplement

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