Denotational semantics for timed testing

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

Volumn 1231, Issue , 1997, Pages 368-382

  Díaz, Luis Fernando Liana ^a   de Frutos Escrig, David ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Denotational semantics; Must testing semantics; Process algebra; Time

Indexed keywords

ALGEBRA; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS;

CONSISTENT SETS; DENOTATIONAL SEMANTICS; PROCESS ALGEBRAS; TESTING SEMANTICS; TIME; TIMED PROCESS ALGEBRA; TIMED TESTING;

REAL TIME SYSTEMS;

EID: 67651239654     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63010-4_25     Document Type: Conference Paper

References (17)

1. J. C. M. Baeten and J. A. Bergstra. Real time process algebra. Formal Aspects of Computing, 3:142-188, 1993.
2. J. A. Bergstra and J. W. Klop. Process algebra for syncronous communication. Information and Control, 60:109-137, 1984.
3. D. de Frutos, G. Leduc, L. Léonard, L. F. Llana-Díaz, C. Miguel, J. Quemada, and G. Rabay. Time Extended LOTOS. In J. Quemada, editor, Working Draft on Enhancements to LOTOS. ISO/IEC JTC1/SC21/WG1, November 1995.
4. R. de Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
5. J. F. Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118:263-299, 1993.
6. M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
7. C. A. R. Hoare. Communicating SequentiaI Processes. Prentice Hall, 1985.
8. M. Hennessy and T. Regan. A process algebra for timed systems. Information and Computation, 117:221-239, 1995.
9. L. F. Llana-Diaz, D. de Frutos, and M. Nafiez. Testing semantics for urgent process algebras. In Third AMAST Workshop in Real Time Programming, March 1996. To appear in World Sientifie: AMAST Series in Computing.
10. L. F. Llana-Diaz. Jugando con el Tiempo. PhD thesis, Uaiversidad Complutense de Madrid, 1996.
11. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
12. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Computer Aided Design, pages 376-398, 1991. LNCS 575.
13. Y. Ortega-Malign. En Busea del Tiempo Perdido. PhD thesis, Departamento de Informatica y AutomAtica. Universidad Complntense de Madrid, 1991.
14. J. Quemada, D. de Frutos, and A. Azcorra. Tic: A timed calculus. Formal Aspects of Computing, 5:224-252, 1993.
15. G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. In ICALP '86, pages 314-323. Springer-Verlag, 1986. LNCS 226.
16. S. Schneider. An operational semantics for timed CSP. Information and Computation, 116(2):193-213, 1995.
17. W. Yi. A Calculus of Real Time Systems. Phd thesis, Department of Computer Science. Chaimers University of Technology, 1991.