Modelling timeouts without timelocks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1601, Issue , 1999, Pages 334-353

  Bowman, Howard ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATA THEORY; FORMAL METHODS;

TIMED AUTOMATA; TIMED AUTOMATA MODELS;

REAL TIME SYSTEMS;

EID: 84957712019     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48778-6_20     Document Type: Conference Paper

References (13)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, pages 183-235, 1994.
2. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, and Paul Pettersson and Wang Yi. Uppaal-a tool suite for automatic verification of real-time system. In Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid, Systems, 1995.
3. S. Bornot and J. Sifakis. On the composition of hybrid systems. In Hybrid Systems: Computation and Control, LNCS 1386, pages 49-63, 1998.
4. S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Compositionality, COMPOS'97, LNCS (to appear), 1997.
5. H. Bowman. Discussion document-modelling timeout behaviour in timed automata. Technical report, Available from author, 1998.
6. H. Bowman, G. Faconti, J-P. Katoen, D. Latella, and M. Massink. Automatic verification of a lip synchronisation algorithm using UPPAAL. In Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems, 1998. To Appear in Special Issue of Formal Aspects of Computing.
7. C.Daws, A.Olivero, S.Tripakis, and S.Yovine. The tool KRONOS. In Hybrid Systems III, Verification and Control, LNCS 1066. Springer-Verlag, 1996.
8. Th. A. Henzinger and Pei-Hsin. HyTech: The Cornell HYbrid TECHnology tool. In Proceedings of TACAS, Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1995.
9. L. Leonard and G. Leduc. An introduction to ET-LOTOS for the description of time-sens itive systems. Computer Networks and ISDN Systems, 29:271-292, 1996.
10. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
11. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebra. In Real-time Theory in Practice, LNCS 600, pages 549-572. Springer-Verlag, June 1991.
12. T. Regan. Multimedia in temporal LOTOS: A lip synchronisation algorithm. In PSTV XIII, 13th Protocol Specification, Testing and Verification. North-Holland, 1993.
13. J. Sifakis and S. Yiovine. Compositional specification of timed systems, (extended abstract). In STACS'96, Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, LNCS 1046, pages 347-359. Springer-Verlag, 1996.