Fast asynchronous systems in dense time

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

Volumn 1099, Issue , 1996, Pages 75-86

  Jenner, Lars ^a   Vogler, Walter ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ASYNCHRONOUS SYSTEM; DENSE-TIME; DISCRETE TIME; FASTER-THAN RELATION; PREORDERS; WORST-CASE EFFICIENCY;

AUTOMATA THEORY;

EID: 21344453449     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61440-0_118     Document Type: Conference Paper

References (12)

1. R. Alur and D. Dill. A theory of timed automata. Theoret. Comput. Sei., 126:183-235, 1994.
2. S. Arun-Kumar and M. Hennessy. An efficiency preorder for processes. Acta Informatica, 29:737-760, 1992.
3. F. Corradini, R. Gorrieri, and M. Roccetti. Performance preorder and competitive equivalence, unpublished manuscript, 1995.
4. R. Cleaveland and A. Zwarico. A theory of testing for real-time. In Proc. 6th Symp. on Logic in Computer Science, pages 110-119. IEEE Computer Society Press, 1991.
5. R. De Nicola and M.C.B. Hennessy. Testing equivalence for processes. Theoret. Comput. Sei., 34:83-133, 1984.
6. M. Hennessy and T. Regan. A temporal process algebra. Technical Report 2/90, Dept. Comp. Sei. Univ. of Sussex, Brighton, 1990.
7. N. Lynch and M. Fischer. On describing the behaviour and implementation of distributed systems. Theoret. Comput. Sei., 13:17-43, 1981.
8. N. Lynch and F. Vaandrager. Forward and backward simulations I: Untimed systems. Information and Computation, 121:214-233, 1995.
9. F. Moller and C. Tofts. Relating processes with respect to speed. In J. Baeten and J. Groote, editors, CONCUR '91, Lect. Notes Comp. Sei. 527, 424-438. Springer, 1991.
10. I. Phillips. Refusal testing. Theoret. Comput. Sei., 50:241-284, 1987.
11. W. Vogler. Timed testing of concurrent systems. Information and Computation, 121:149-171, 1995.
12. W. Vogler. Faster asynchronous systems. In I. Lee and S. Smolka, editors, CONCUR 95, Lect. Notes Comp. Sei. 962, 299-312. Springer, 1995.