An introduction to ET-LOTOS itive systemsfor the description of time-sens

Computer Networks

Volumn 29, Issue 3, 1997, Pages 271-292

  Léonard, Luc ^a   Leduc, Guy ^a  

^a UNIVERSITY OF LIÈGE   (Belgium)

Author keywords

ET LOTOS; Formal methods; LOTOS; Specification; Time

Indexed keywords

EID: 20444388330     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (20)

1. Y. Baguette, L. Léonard, G. Leduc and A. Danthine, The OSI95 connection-mode transport service, in: A. Danthine, ed., The OSI95 Transport Service with Multimedia Support (Springer, Berlin, 1994) 181-198.
2. T. Bolognesi and E. Brinksma, Introduction to the ISO Specification Language LOTOS, Computer Networks ISDN Systems 14 (0(1987) 25-59.
3. T. Bolognesi, F. Lucidi and S. Trigila, Converging towards a timed LOTOS standard, in: Computer Standards and Interfaces (1994) 87-118.
4. T. Bolognesi, F. Lucidi and S. Trigila, A timed full LOTOS with time/action tree semantics, in: T. Rus and C. Rattray, eds., Theories and Experiences for Real-Time System Development, Amast Series in Computing (World Scientific, Singapore, 1994) 205-237.
5. J. Bryans, J. Davies and S. Schneider, Real-time CSP, and its relationship to ET-LOTOS, Internal Rept., University of Reading and Royal Holloway Univeristy of London, 1994.
6. J.-P. Courtiat and R. de Oliveira, About time nondeterminism and exception handling in a temporal extension of LOTOS, in: S. Vuong and S. Chanson, eds., Protocol Specification, Testing and Verification, XIV (Chapman & Hall, London, 1994) 37-52.
7. J. Davies and S. Schneider, Real-time CSP, in: T. Rus and C. Rathay, eds., Theories and Experiences for Real-Time System Development, Amast Series in Computing (World Scientific, Singapore, 1994).
8. J.F. Groote, Specification and verification of real time systems in ACP, in: L. Logrippo, R. Probert and H. Ural, eds., Protocol Specification, Testing and Verification, X (North-Holland, Amsterdam, 1990) 261-274.
9. J.F. Groote, Transition system specifications with negative premises, Theoret. Comput. Sci. 118 (1993) 263-299.
10. H. Hansson, Time and probability in formal design of distributed systems, Ph.D. Thesis, DoCS 91/27, Dept. of Computer Science, Uppsala University, P.O. Box 520, S-75120 Uppsala, Sweden.
11. M. Hennessy and T. Regan, A process algebra for timed systems. Inform, and Comput. 117 (2) (1995) 221-239.
12. G. Leduc and L. Léonard, A timed LOTOS supporting a dense time domain and including new timed operators, in: M. Diaz and R. Groz, eds., Formal Description Techniques, V (North-Holland, Amsterdam, 1993) 87-102.
13. L. Léonard and G. Leduc, An enhanced version of timed LOTOS and its application to a case study, in: R. Tenney, P. Amer and U. Uyar, eds., Formal Description Techniques, VI (North-Holland, Amsterdam, 1994) 483-498.
14. L. Léonard, G. Leduc and A. Danthine, The Tick-Tock case study for the assessment of timed FDTs, in: A. Danthine, ed., The OSI95 Transport Service with Multimedia Support (Springer, Berlin, 1994) 338-352.
15. C. Miguel, A. Fernández and L. Vidaller, Extended LOTOS, in: A. Danthine, ed., The OSI95 Transport Service with Multimedia Support (Springer, Berlin, 1994) 312-337.
16. F. Moller and C. Tofts, A temporal calculus of communicating systems, in: J.C.M. Baeten and J.W. Klop, eds., CONCUR '90, Theories of Concurrency: Unification and Extension, Lecture Notes on Computer Science, Vol. 458 (Springer, Berlin, 1990) 401-415.
17. X. Nicollin and J. Sifakis, The algebra of timed processes ATP: Theory and application. Inform, and Comput. 114 (1) (1994) 131-178.
18. J. Quemada, C. Miguel, D. de Frutos and L. Llana, A timed LOTOS extension, in: T. Rus and C. Rattray, eds., Theories and Experiences for Real-Time System Development, Amast Series in Computing (World Scientific, Singapore, 1994) 239-263.
19. G.M. Reed and A.W. Roscoe, A timed model for communicating sequential processes, Theoret. Comput. Sci. 58 (1988) 249-261.
20. T. Regan, Multimedia in temporal LOTOS: A lip-synchronization algorithm, in: A. Danthine, G. Leduc and P. Wolper, eds., Protocol Specification, Testing and Verification, XIII (North-Holland, Amsterdam, 1993) 127-142.