Automata and their interaction: Definitional suggestions

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

Volumn 1684, Issue , 1999, Pages 54-89

  Trakhtenbrot, Boris A ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; SEMANTICS;

TEACHING EXPERIENCE;

AUTOMATA THEORY;

EID: 22844457100     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48321-7_4     Document Type: Conference Paper

References (34)

1. Abramsky, S.: Private communication, 1997
2. Abadi, M., Lamport, L.: An old-fashioned recipe for real time. REX workshop on real time: Theory in Practice, 1991
3. Alur, R., Dill, D.: Automata for modelling real-time systems. Proceedings of ICALP90, LNCS 443 (1990) pp. 332-335
4. Alur, R., Fix, L., Henzinger, T.: A deterministic class of timed automata. Proc.CAV’94, LNCS 818, pp. 1-13
5. Alur, R., Henzinger, T.: Logics and models for real time: theory in practice. LNCS 600 (1992) pp. 74-106
6. Alur, A., Courcoubetis, C., Henzinger, T., Pei-Sin, Ho.: Hybrid automata: approach to the specification and verification of hybrid systems. LNCS 736 (1993) pp. 209-229
7. Apt, K, Olderog, E.R.: Verification of Sequential and Concurrent Programs, Springer Verlag, 1991
8. Artstein, Z.: Examples of stabilization with hybrid feedback. LNCS 1066 (1996) pp. 173-185
9. Broy, M.: Semantics of finite and infinite networks of concurrent communicating agents. Distributed Computing 2 (1987) 13-31
10. Burks, A.W., Wright, J.B.: Theory of logical nets. Proceedings of the I.R.E., 1953
11. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation, Addison-Wessley, 1988
12. Dill, D., Clarke, E.: Automatic verification of asynchronous circuits using temporal logic. IEEE Proc. 133 (1986) 276-
13. Francez, N.: Programm Verification, Addison-Wesley P.C., 1992
14. Gordon, M.: Why higher-order logic is a good formalism for specifying and verifying hardware. Formal Aspects of VLSI design, Elsevier Science Publ., pp.153-177, 1986
15. Henzinger, T.: The theory of hybrid automata. Proceedings of the IEEE (1996) 278-292
16. Kahn, G.: The semantics of a simple language for parallel programming, IFIP 74
17. Kobrinsky, N., Trakhtenbrot, B.A.: Introduction to the Theory of Finite Automata (Russian edition, 1962), Transl. North Holland, 1965
18. Maler, O., Pnueli, A.: Timing analysis of asynchronous circuits using timed automata. Proceedings CHARME’95, LNCS 987, pp. 189-205
19. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems, Springer Verlag, 1992
20. Manna, Z., Pnueli, A.: Models for reactivity. Acta Informatica 30 (1993) 609-678.
21. Mazurkiewicz, A.: Semantics of concurrent systems: A modular fixed point trace approach. In “Advances in Petri Nets”, LNCS 188, 1984
22. Milner, R.: Communication and Concurrency, Prentice Hall, 1989
23. Olderog, E.R., Dierks, H.: Decomposing real-time specifications. Intern. Symp. COMPOS’97. LNCS 1536, pp. 465-489
24. Pardo, D.: Timed Automata: Transducers and Circuits, M.Sc. Thesis, Tel-Aviv Univ., 1997
25. Pardo, D., Rabinovich, A., Trakhtenbrot, B.A.: On synchronous circuits over continuous time, Technical Report, Tel Aviv University, 1997
26. Rabinovich, A.: Finite automata over continuous time, Technical Report, Tel Aviv University, 1996
27. Rabinovich, A., Trakhtenbrot, B.: From finite automata toward hybrid systems. Proceedings FCT’97, LNCS
28. Scott, D.: Some definitional suggestions for automata theory. J. of Computer and System Science (1967) 187-212
29. Sontag, E.: Mathematical Control Theory: Deterministic Finite Dimensional Systems, Springer, N.Y., 1990
30. Sontag, E.: Interconnected Automata and Linear Systems. LNCS, No. 1066 (1996) pp. 436-448
31. Trakhtenbrot, B.A.: Lecture notes on a course on verification of software and hardware systems, Tel Aviv University, Fall 1994
32. Trakhtenbrot, B.A.: Automata and hybrid systems. Lecture Notes on a course at Uppsala University, Fall 1997. See also updating Appendix 1, 1998, Tel Aviv University
33. Trakhtenbrot, B.A.: Compositional proofs for networks of processes. Funda-menta Informaticae 20(No. 1,2,3) (1994) 231-275
34. Trakhtenbrot, B.A.: Origins and metamorphose of the trinity: Logics, nets, automata, Proceedings, LICS’95