{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:00:23Z","timestamp":1754485223885},"reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084808","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T08:12:14Z","timestamp":1164355934000},"page":"436-455","source":"Crossref","is-referenced-by-count":8,"title":["Action transducers and timed automata"],"prefix":"10.1007","author":[{"given":"Frits","family":"Vaandrager","sequence":"first","affiliation":[]},{"given":"Nancy","family":"Lynch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real time. In Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, LNCS 600. Springer-Verlag, 1992. To appear.","DOI":"10.1007\/BFb0031985"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and D.L. Dill. Automata for modeling real-time systems. In Proceedings 17 th ICALP, LNCS 443, pages 322\u2013335. Springer-Verlag, July 1990.","DOI":"10.1007\/BFb0032042"},{"key":"31_CR3","unstructured":"P. America. POOL-T \u2014 A parallel object-oriented language. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Systems. MIT Press, 1986."},{"issue":"2","key":"31_CR4","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"J.C.M. Baeten and J.A. Bergstra. Real time process algebra. Journal of Formal Aspects of Computing Science, 3(2):142\u2013188, 1991.","journal-title":"Journal of Formal Aspects of Computing Science"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"B. Bloom, S. Istrail, and A.R. Meyer. Bisimulation can't be traced: preliminary report. In Conference Record of the 15 th ACM Symposium on Principles of Programming Languages, pages 229\u2013239, 1988.","DOI":"10.1145\/73560.73580"},{"key":"31_CR7","unstructured":"J. Davies and S. Schneider. An introduction to Timed CSP. Technical Monograph PRG-75, Oxford University Computing Laboratory, Programming Research Group, August 1989."},{"key":"31_CR8","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs, 1985."},{"key":"31_CR9","volume-title":"Abstraction in real time process algebra. Report CS-R9144","author":"A.S. Klusener","year":"1991","unstructured":"A.S. Klusener. Abstraction in real time process algebra. Report CS-R9144, CWI, Amsterdam, October 1991."},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. In Proceedings 17 th ICALP, LNCS 443, pages 526\u2013539. Springer-Verlag, July 1990.","DOI":"10.1007\/BFb0032056"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and M.R. Tuttle. 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":"31_CR12","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and F.W. Vaandrager. Forward and backward simulations \u2014 part II: Timing-based systems, 1992. In preparation.","DOI":"10.1007\/BFb0032002"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and F.W. Vaandrager. Forward and backward simulations for timing based systems. Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, LNCS 600. Springer-Verlag, 1992. To appear.","DOI":"10.1007\/BFb0032002"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"M. Merritt, F. Modugno, and M. Tuttle. Time constrained automata. In Proceedings CONCUR 91, LNCS 527, pages 408\u2013423. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_103"},{"key":"31_CR15","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, Englewood Cliffs, 1989."},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In Proceedings CONCUR 90, LNCS 458, pages 401\u2013415. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"31_CR17","volume-title":"Technical Report RT-C26","author":"X. Nicollin","year":"1991","unstructured":"X. Nicollin and J. Sifakis. The algebra of timed processes ATP: Theory and application (revised version). Technical Report RT-C26, LGI-IMAG, Grenoble, France, November 1991."},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Proceedings CAV 91, LNCS 575, pages 376\u2013398. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, LNCS 600. Springer-Verlag, 1992. To appear.","DOI":"10.1007\/BFb0032007"},{"key":"31_CR20","unstructured":"G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"31_CR21","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"G.M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, 58:249\u2013261, 1988.","journal-title":"Theoretical Computer Science"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"F.W. Vaandrager. On the relationship between process algebra and input\/output automata. In Proceedings 6 th Annual Symposium on Logic in Computer Science, pages 387\u2013398. IEEE Computer Society Press, 1991.","DOI":"10.1109\/LICS.1991.151662"},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Wang Yi. Real-time behaviour of asynchronous agents. In Proceedings CONCUR 90, LNCS 458, pages 502\u2013520. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039080"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084808.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:07:31Z","timestamp":1607533651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0084808","relation":{},"subject":[]}}