[L2] ================================================ AMAST Links 02 03

    Book: Theories and Experiences for Real-Time System Development
                Teodor Rus & Charles Rattray (Editors)

   AMAST Series in Computing, Volume 2, 1994, ISBN 981-02-1923-7
   World Scientific, Singapore. 444 pages, price: US$ 86.
   Order information: see [AL0203S1].
   _More info_ at URL: ftp://cs.uiowa.edu/pub/rus/Books/realtime.ps

  To consider the AMAST perspective on real-time systems, a first AMAST
Workshop on Real-Time Systems was held in Iowa City, in November 1993.
All the speakers were invited. All the authors had the opportunity to
refine their papers as a result of the lively discussions that took
place during the Workshop. A tangible product of this procedure is the
present volume. The contents and authors are listed below.
 1. Real-time system = discrete system + clock variables
    (R Alur & TA Henzinger)
 2. Real-time CSP (J Davies & S Schneider)
 3. Visual tools for verifying real-time systems (J S Ostroff)
 4. Designing supervisors for real-time systems (D Ionescu)
 5. Real-time symbolic model-checking (SV Campos & EM Clarke)
 6. Verification of an audio control protocol
    (D Bosscher, I Pollak & F Vaandrager)
 7. Approximations for verif. timing properties (H Wong-Toi & DL Dill)
 8. A Timed Full LOTOS with Time/Action Tree Semantics
    (T Bolognesi & F Lucidi)
 9. A Timed LOTOS extension (J Quemada, C Miguel, D deFrutos & L Llana)
 10. Status-oriented telephone service spec. (B Stepien & L Logrippo)
 11. Experimenting with LOTOS in the aerospace industry
    (H Garavel & RP Hautbois)
 12. Performance analysis and true concurrency semantics
    (E Brinksma, JP Katoen, R Langerak & D Latella)
 13. State machines, temporal logic and alg. data models (A Gabrielian)
 14. An experiment in developing real-time systems using Mec
    (D Begay, J Dormoy & P Felix)