{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:31:29Z","timestamp":1742394689771},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1996,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            The\n            <jats:italic>timed automaton model<\/jats:italic>\n            of [LyV92, LyV93] is a general model for timing-based systems. A notion of\n            <jats:italic>timed action transducer<\/jats:italic>\n            is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be described in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems.\n          <\/jats:p>","DOI":"10.1007\/bf01211907","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T19:28:44Z","timestamp":1109359724000},"page":"499-538","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Action transducers and timed automata"],"prefix":"10.1145","volume":"8","author":[{"given":"Nancy","family":"Lynch","sequence":"first","affiliation":[{"name":"MIT, LCS, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[{"name":"Computing Science Institute, University of N\u00ffmegen, PO Box 9010, 6500, GL N\u00ffmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Abadi M. and L Lamport.: An old-fashioned recipe for real time. In de Bakker et al. [dBH92] pages 1\u201327.","DOI":"10.1007\/BFb0031985"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_2_1_2_3_2","first-page":"1","volume-title":"Theories and Experiences for Real-Time System Development \u2014 Papers presented at First AMAST Workshop on Red-Time System Development","author":"Alur R.","year":"1994"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898401"},{"key":"e_1_2_1_2_5_2","unstructured":"Baeten J.C.M. and Klop J.W.: editors. Proceedings CONCUR 90 Amsterdam volume 458 of Lecture Notes in Computer Science . Springer-Verlag 1990."},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"Baeten J.C.M. and Weijland W.R: Process Algebra . Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"e_1_2_1_2_7_2","unstructured":"Bakker J.W. de Huizing C. de Roever W.R. and Rozenberg G.: editors. Proceedings REX Workshop on Real-Time: Theory in Practice Mook The Netherlands June 1991 volume 600 of Lecture Notes in Computer Science . Springer-Verlag 1992."},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.4.243"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","unstructured":"Bloom B. Istrail S. and Meyer A.R.: Bisimulation can't be traced: Preliminary report. In Conference Record of the 15 th ACM Symposium on Principles of Programming Languages San Diego California pages 229\u2013239 1988. Full version available as Technical Report 90-1150 Department of Computer Science Cornell University Ithaca New York August 1990. Accepted to appear in Journal of the ACM .","DOI":"10.1145\/73560.73580"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"Bosscher D.J.B. Polak I. and Vaandrager F.W.: Verification of an audio control protocol. In H. Langmaack W.-P. de Roever and J. Vytopil editors Proceedings of the Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems L\u00fcbeck Germany September 1994 volume 863 of Lecture Notes in Computer Science pages 170\u2013192. Springer-Verlag 1994. Full version available as Report CS-R9445 CWI Amsterdam July 1994.","DOI":"10.1007\/3-540-58468-4_165"},{"key":"e_1_2_1_2_11_2","unstructured":"Brinksma E.: On the design of Extended LOTOS \u2014 a specification language for open distributed systems . PhD thesis Department of Computer Science University of Twente 1988."},{"key":"e_1_2_1_2_12_2","unstructured":"Davies J. and Schneider S.: An introduction to Timed CSP. Technical Monograph PRG-75 Oxford University Computing Laboratory Programming Research Group August 1989."},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.4.259"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Gawlick R. Segala R. S\u00f8gaard-Andersen J.F. and Lynch N.: Liveness in timed and untimed systems. In S. Abiteboul and E. Shamir editors Proceedings 21 th ICALP Jerusalem volume 820 of Lecture Notes in Computer Science . Springer-Verlag 1994. A full version appears as MIT Technical Report number MIT\/LCS\/TR-587.","DOI":"10.1007\/3-540-58201-0_66"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Glabbeek R.J. van: The linear time \u2014 branching time spectrum II (the semantics of sequential systems with silent moves). In E. Best editor Proceedings CONCUR 93 Hildesheim Germany volume 715 of Lecture Notes in Computer Science pages 66\u201381. Springer-Verlag 1993.","DOI":"10.1007\/3-540-57208-2_6"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Groote J.F. and Ponse A.: Proof theory for \u03bcCRL: A language for processes with data. In D.J. Andrews J.F. Groote and C.A. Middelburg editors Proceedings of the International Workshop on Semantics of Specification Languages Workshops in Computer Science pages 231\u2013250. Springer-Verlag 1993.","DOI":"10.1007\/978-1-4471-3229-5_13"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90013-6"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Heitmeyer C. and Lynch N.A.: The generalized railroad crossing \u2014 a case study in formal verification of real-time systems. In Proceedings 15th IEEE Real-Time Systems Symposium San Juan Puerto Rico pages 120\u2013131 December 1994.","DOI":"10.1109\/REAL.1994.342724"},{"key":"e_1_2_1_2_19_2","first-page":"394","volume-title":"Proceedings 7th Annual Symposium on Logic in Computer Science","author":"Henzinger T.A.","year":"1992"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_2_1_2_21_2","volume-title":"Report CS-R9366","author":"Jeffrey A.S.A.","year":"1993"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Kleene S.C.: Representation of events in nerve nets and finite automata. In Automata Studies pages 3\u201341. Princeton University Press 1956.","DOI":"10.1515\/9781400882618-002"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Klusener A.S.: Models and axioms for a fragment of real time process algebra . PhD thesis Department of Mathematics and Computing Science Technical University of Eindhoven December 1993.","DOI":"10.1007\/BFb0031999"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211870"},{"key":"e_1_2_1_2_25_2","unstructured":"Lampson B.W. Lynch N.A. and S\u00f8gaard-Andersen J.F: Correctness of at-most-once message delivery protocols. In FORTE'93 \u2014 Sixth International Conference on Formal Description Techniques Boston MA October 1993 pages 387\u2013402 1993."},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"crossref","unstructured":"Larsen K.G. and Xinxin L.: Compositionality through an operational semantics of contexts. In M. Paterson editor Proceedings 17 th ICALP Warwick volume 443 of Lecture Notes in Computer Science pages 526\u2013539. Springer-Verlag July 1990. An extended version appeared as: Report R89-13 The University of Aalborg Dept. of Mathematics and Computer Science Aalborg Denmark May 1989.","DOI":"10.1007\/BFb0032056"},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02252683"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"Lynch N.A. and Tuttle M.R.: Hierarchical correctness proofs for distributed algorithms. In Proceedings of the 6 th Annual ACM Symposium on Principles of Distributed Computing pages 137\u2013151 August 1987. A full version is available as MIT Technical Report MIT\/LCS\/TR-387.","DOI":"10.1145\/41840.41852"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Lynch N.A. and Vaandrager F.W.: Forward and backward simulations for timing-based systems. In de Bakker et al. [dBH92] pages 397\u2013446.","DOI":"10.1007\/BFb0032002"},{"key":"e_1_2_1_2_30_2","volume-title":"Report CS-R9314","author":"Lynch N.A.","year":"1993"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"crossref","unstructured":"Manna Z. and Pnueli A.: Verifying hybrid systems. In R.L. Grossman A. Nerode A.P. Ravn and H. Rischel editors Hybrid Systems volume 736 of Lecture Notes in Computer Science pages 4\u201335. Springer-Verlag 1993.","DOI":"10.1007\/3-540-57318-6_22"},{"key":"e_1_2_1_2_32_2","doi-asserted-by":"crossref","unstructured":"Merritt M. Modugno F. and Tuttle M.: Time constrained automata. In J.C.M. Baeten and J.F. Groote editors Proceedings CONCUR 91 Amsterdam volume 527 of Lecture Notes in Computer Science pages 408\u2013423. Springer-Verlag 1991.","DOI":"10.1007\/3-540-54430-5_103"},{"key":"e_1_2_1_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3318.3322"},{"key":"e_1_2_1_2_34_2","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"crossref","unstructured":"Moller F. and Tofts C.: A temporal calculus of communicating systems. In Baeten and Klop [BaK90] pages 401\u2013415.","DOI":"10.1007\/BFb0039073"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"crossref","unstructured":"Moller F. and Tofts C.: Behavioural abstraction in TCCS. In W. Kuich editor Proceedings 19 th ICALP Vienna volume 623 of Lecture Notes in Computer Science . Springer-Verlag 1992.","DOI":"10.1007\/3-540-55719-9_104"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"crossref","unstructured":"Nicollin X. and Sifakis J.: An overview and synthesis on timed process algebras. In K.G. Larsen and A. Skou editors Proceedings of the 3rd International Workshop on Computer Aided Verification Aalborg Denmark volume 575 of Lecture Notes in Computer Science pages 376\u2013398. Springer-Verlag 1992.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1083"},{"key":"e_1_2_1_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178579"},{"key":"e_1_2_1_2_40_2","unstructured":"Plotkin G.D.: A structural approach to operational semantics. Report DAIMI FN-19 Computer Science Department Aarhus University 1981."},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90093-3"},{"key":"e_1_2_1_2_43_2","volume-title":"Technical Report MIT\/LCS\/TR-589","author":"S\u00f8gaard-Andersen J.F.","year":"1993"},{"key":"e_1_2_1_2_44_2","first-page":"387","volume-title":"Proceedings 6thAnnual Symposium on Logic in Computer Science","author":"Vaandrager F.W.","year":"1991"},{"key":"e_1_2_1_2_45_2","unstructured":"Vaandrager F.W.: Expressiveness results for process algebras. In J.W. de Bakker W.P. de Roever and G. Rozenberg editors Proceedings REX Workshop on Semantics: Foundations and Applications Beekbergen The Netherlands June 1992 volume 666 of Lecture Notes in Computer Science pages 609\u2013638. Springer-Verlag 1993."},{"key":"e_1_2_1_2_46_2","doi-asserted-by":"crossref","unstructured":"Wang Yi.: Real-time behaviour of asynchronous agents. In Baeten and Klop [BaK90] pages 502\u2013520.","DOI":"10.1007\/BFb0039080"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211907.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211907\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:28:08Z","timestamp":1641482888000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":46,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["10.1007\/BF01211907"],"URL":"https:\/\/doi.org\/10.1007\/bf01211907","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}