{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:08Z","timestamp":1725664448251},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540587156"},{"type":"electronic","value":"9783540490548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58715-2_129","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:41:43Z","timestamp":1330274503000},"page":"243-255","source":"Crossref","is-referenced-by-count":1,"title":["Decidability of timed language-inclusion for networks of real-time communicating sequential processes"],"prefix":"10.1007","author":[{"given":"Wang","family":"Yi","sequence":"first","affiliation":[]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C Courcoubetis, T. A Henzinger. The Observational Power of Clocks. In the proceedings of CONCUR94, LNCS 836, 1994.","DOI":"10.1007\/978-3-540-48654-1_16"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Rajeev Alur, Costas Courcoubetis, and David Dill. Model-checking for real-time systems. In Proceedings of the Fifth IEEE Symposium on Logic in Computer Science, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"21_CR3","unstructured":"R. Alur, C Courcoubetis, N. Halbwachs, D. Dill, H. Wong-Toi. Minimization of Timed Transition Systems. CONCUR92, LNCS 630, 1992."},{"key":"21_CR4","unstructured":"Rajeev Alur and David Dill. Automata for modelling real-time systems. In Automata, Languages and Programming: Proceedings of the 17th ICALP, LNCS 443. Springer-Verlag, 1990."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur, L. Fix and T. A Henzinger. A Determinizable Class of Timed Automata. In the proceedings of CAV94, LNCS 818, 1994.","DOI":"10.1007\/3-540-58179-0_39"},{"key":"21_CR6","unstructured":"J.C.M. Baeten and J.A. Bergstra. Real time process algebra. Technical Report P8916, University of Amsterdam, 1989."},{"issue":"3","key":"21_CR7","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoaxe, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3): 560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. Lecture Notes in Computer Science, 407, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"21_CR9","unstructured":"Jim Davis and Steve Schneider. An introduction to timed CSP. Technical Report PRG-75, Oxford University Computing Laboratory, 1989."},{"key":"21_CR10","unstructured":"Willem Jan Fokkink and Steven Klusener. Real time algebra with prefixed integration. Technical report, CWI, Amsterdam, 1991."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and J. Voiron. Symbolic Model Checking for Real-Time Systems. Proceedings of the 7th IEEE Symposium on Logic in Computer Science, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"21_CR13","unstructured":"Matthew Hennessy and Tim Regan. A process algebra for timed systems. Technical Report 5\/91, University of Sussex, 1991."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Kim G. Larsen and Wang Yi, Time Abstracted Bisimulation: Implicit Specification and Decidability. In the proceedings of MFPS93 (the 9th International Conference on Mathematical Foundations of Programming Semantics), New Oleans, USA, 1993. Lecture Notes in Computer Science No. 802, 1994.","DOI":"10.1007\/3-540-58027-1_8"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. From ATP to timed graphs and hybrid systems. In Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0032007"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe, A Timed Model for Communicating Sequential Processes, LNCS No. 226, 1986.","DOI":"10.1007\/3-540-16761-7_81"},{"key":"21_CR17","unstructured":"Steve Schneider. An operational semantics for timed CSP. April 1991."},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"K\u0101rlis \u010cer\u0101ns. Decidability of bisimulation equivalences for processes with parallel timers. In the Proceedings of CAV'92, 1992.","DOI":"10.1007\/3-540-56496-9_24"},{"key":"21_CR19","unstructured":"M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. IEEE Int. Symp. on Logic in Computer Science, pages 332\u2013344, June 1986."},{"key":"21_CR20","unstructured":"Yi Wang. Real-time behaviour of asynchronous agents. In CONCUR '90, volume 458 of Lecture Notes in Computer Science. Springer-Verlag, 1990."},{"key":"21_CR21","series-title":"PhD thesis","volume-title":"A Calculus of Real Time Systems","author":"W. Yi","year":"1991","unstructured":"Yi Wang. A Calculus of Real Time Systems. PhD thesis, Chalmers University of Technology, G\u00f6teborg, Sweden, 1991."},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Yi Wang. CCS + time = an interleaving model for real time systems. In ICALP '91, LNCS 510. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54233-7_136"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Yi Wang and Bengt Jonsson. Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. Technical Report (to appear), Department of Computer Systems, Uppsala University, 1994.","DOI":"10.1007\/3-540-58715-2_129"}],"container-title":["Lecture Notes in Computer Science","Foundation of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58715-2_129.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T08:19:53Z","timestamp":1640938793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58715-2_129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587156","9783540490548"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-58715-2_129","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}