{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:33Z","timestamp":1725494193513},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664123"},{"type":"electronic","value":"9783540483212"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48321-7_4","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T12:57:55Z","timestamp":1194267475000},"page":"54-89","source":"Crossref","is-referenced-by-count":7,"title":["Automata and their interaction: Definitional suggestions"],"prefix":"10.1007","author":[{"given":"Boris A.","family":"Trakhtenbrot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"4_CR1","unstructured":"Abramsky, S.: Private communication, 1997"},{"key":"4_CR2","unstructured":"Abadi, M., Lamport, L.: An old-fashioned recipe for real time. REX workshop on real time: Theory in Practice, 1991"},{"key":"4_CR3","series-title":"Lect Notes Comput Sci","first-page":"332","volume-title":"Proceedings of ICALP90","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.: Automata for modelling real-time systems. Proceedings of ICALP90, LNCS 443 (1990) pp. 332\u2013335"},{"key":"4_CR4","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. CAV\u201994","author":"R. Alur","year":"1994","unstructured":"Alur, R., Fix, L., Henzinger, T.: A deterministic class of timed automata. Proc. CAV\u201994, LNCS 818, pp. 1\u201313"},{"key":"4_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Logics and models for real time: theory in practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.: Logics and models for real time: theory in practice. LNCS 600 (1992) pp. 74\u2013106"},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid automata: approach to the specification and verification of hybrid systems","author":"A. Alur","year":"1993","unstructured":"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\u2013229"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Apt, K. Olderog, E.R.: Verification of Sequential and Concurrent Programs, Springer Verlag, 1991","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"4_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BFb0020944","volume-title":"Examples of stabilization with hybrid feedback","author":"Z. Artstein","year":"1996","unstructured":"Artstein, Z.: Examples of stabilization with hybrid feedback. LNCS 1066 (1996) pp. 173\u2013185"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF01786252","volume":"2","author":"M. Broy","year":"1987","unstructured":"Broy, M.: Semantics of finite and infinite networks of concurrent communicating agents. Distributed Computing 2 (1987) 13\u201331","journal-title":"Distributed Computing"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Burks, A.W., Wright, J.B.: Theory of logical nets. Proceedings of the I.R.E., 1953","DOI":"10.1109\/JRPROC.1953.274312"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation, Addison-Wessley, 1988","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1049\/ip-d.1986.0043","volume":"133","author":"D. Dill","year":"1986","unstructured":"Dill, D., Clarke, E.: Automatic verification of asynchronous circuits using temporal logic. IEEE Proc. 133 (1986) 276","journal-title":"IEEE Proc."},{"key":"4_CR13","unstructured":"Francez, N.: Programm Verification, Addison-Wesley P.C., 1992"},{"key":"4_CR14","unstructured":"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\u2013177, 1986"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Henzinger, T.: The theory of hybrid automata. Proceedings of the IEEE (1996) 278\u2013292","DOI":"10.1109\/LICS.1996.561342"},{"key":"4_CR16","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming, IFIP 74"},{"key":"4_CR17","unstructured":"Kobrinsky, N.., Trakhtenbrot, B.A.: Introduction to the Theory of Finite Automata (Russian edition, 1962), Transl. North Holland, 1965"},{"key":"4_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-60385-9_12","volume-title":"Proceedings CHARME\u201995","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A.: Timing analysis of asynchronous circuits using timed automata. Proceedings CHARME\u201995, LNCS 987, pp. 189\u2013205"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems, Springer Verlag, 1992","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Manna, Z., Pnueli, A.: Models for reactivity. Acta Informatica 30 (1993) 609\u2013678.","journal-title":"Acta Informatica"},{"key":"4_CR21","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets","author":"A. Mazurkiewicz","year":"1984","unstructured":"Mazurkiewicz, A.: Semantics of concurrent systems: A modular fixed point trace approach. In \u201cAdvances in Petri Nets\u201d, LNCS 188, 1984"},{"key":"4_CR22","unstructured":"Milner, R.: Communication and Concurrency, Prentice Hall, 1989"},{"key":"4_CR23","series-title":"Lect Notes Comput Sci","first-page":"465","volume-title":"Intern. Symp. COMPOS\u201997","author":"E.R. Olderog","year":"1997","unstructured":"Olderog, E.R., Dierks, H.: Decomposing real-time specifications. Intern. Symp. COMPOS\u201997. LNCS 1536, pp. 465\u2013489"},{"key":"4_CR24","unstructured":"Pardo, D.: Timed Automata: Transducers and Circuits, M.Sc. Thesis, Tel-Aviv Univ., 1997"},{"key":"4_CR25","unstructured":"Pardo, D., Rabinovich, A., Trakhtenbrot, B.A.: On synchronous circuits over continuous time, Technical Report, Tel Aviv University, 1997"},{"key":"4_CR26","unstructured":"Rabinovich, A.: Finite automata over continuous time, Technical Report, Tel Aviv University, 1996"},{"key":"4_CR27","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings FCT\u201997","author":"A. Rabinovich","year":"1997","unstructured":"Rabinovich, A., Trakhtenbrot, B.: From finite automata toward hybrid systems. Proceedings FCT\u201997, LNCS"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Scott, D.: Some definitional suggestions for automata theory. J. of Computer and System Science (1967) 187\u2013212","DOI":"10.1016\/S0022-0000(67)80014-X"},{"key":"4_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0374-9","volume-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems","author":"E. Sontag","year":"1990","unstructured":"Sontag, E.: Mathematical Control Theory: Deterministic Finite Dimensional Systems, Springer, N.Y., 1990"},{"key":"4_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/BFb0020966","volume-title":"Interconnected Automata and Linear Systems","author":"E. Sontag","year":"1996","unstructured":"Sontag, E.: Interconnected Automata and Linear Systems. LNCS, No. 1066 (1996) pp. 436\u2013448"},{"key":"4_CR31","unstructured":"Trakhtenbrot, B.A.: Lecture notes on a course on verification of software and hardware systems, Tel Aviv University, Fall 1994"},{"key":"4_CR32","unstructured":"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"},{"issue":"123","key":"4_CR33","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3233\/FI-1994-201238","volume":"20","author":"B.A. Trakhtenbrot","year":"1994","unstructured":"Trakhtenbrot, B.A.: Compositional proofs for networks of processes. Fundamenta Informaticae 20(No. 1,2,3) (1994) 231\u2013275","journal-title":"Fundamenta Informaticae"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Trakhtenbrot, B.A.: Origins and metamorphose of the trinity: Logics, nets, automata, Proceedings, LICS\u201995","DOI":"10.1109\/LICS.1995.523284"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48321-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T21:10:12Z","timestamp":1588021812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48321-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664123","9783540483212"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-48321-7_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}