{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:42Z","timestamp":1775053242677,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540571827","type":"print"},{"value":"9783540479277","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_61","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:12:02Z","timestamp":1330258322000},"page":"703-713","source":"Crossref","is-referenced-by-count":7,"title":["Deciding testing equivalence for real-time processes with dense time"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[]},{"given":"Carsten","family":"Weise","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"61_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D. Dill. Model-Checking for Real-Time Systems. 5th LICS'90, Philadelphia, PA., Jnn. '90, pp. 414\u2013425","DOI":"10.1109\/LICS.1990.113766"},{"key":"61_CR2","unstructured":"J.C.M. Baeten, J.A. Bergstra. Real-Time Process Algebra. Report P8916b University of Amsterdam, Mar. '90."},{"key":"61_CR3","unstructured":"K. \u010cer\u0101ns. Decidability of Bisimulation Equivalences for Parallel Timer Processes. in: Proceedings of CAV '92"},{"key":"61_CR4","unstructured":"L. Chen. An Interleaving Model for Real-Time Systems. Report ECS-LFCS-91-184, Univ. of Edinburgh, Nov. '91"},{"key":"61_CR5","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, J. Parrow, B. Steffen. The Concurrency Workbench. ACM Trans. on Prog. Lang. and Systems, Vol. 15, No. 1, Jan. '93, pp. 36\u201372.","DOI":"10.1145\/151646.151648"},{"key":"61_CR6","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, M. Hennessy. Testing Equivalences as a Bisimulation Equivalence. in: LNCS 407, Springer, New York '89, pp. 11\u201323","DOI":"10.1007\/3-540-52148-8_2"},{"key":"61_CR7","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, A. Zwarico. A Theory of Testing for Real-Time. 6th LICS '91, Amsterdam, The Netherlands, Jul. '91, pp. 110\u2013119","DOI":"10.1109\/LICS.1991.151635"},{"key":"61_CR8","doi-asserted-by":"crossref","unstructured":"R. DeNicola, M. Hennessy. Testing Equivalences for Processes. Theoretical Computer Science No. 24, '84, pp. 83\u2013133","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"61_CR9","unstructured":"W.J. Fokkink. Normal forms in real-time process algebra. Report CS-R9194, CWI, Amsterdam, '91."},{"key":"61_CR10","unstructured":"U. Holmer, K.G. Larsen, W. Yi. Deciding Properties of Regular Real-Timed Processes. Report R 91-20 University of Aalborg, Jun. '91."},{"key":"61_CR11","doi-asserted-by":"crossref","unstructured":"P.C. Kanellakis, S.A. Smolka. CCS Expressions, Finite State Processes, and Three Problems of Equivalence. 2nd PODC, Montreal, Aug. '83, pp. 228\u2013240","DOI":"10.1145\/800221.806724"},{"key":"61_CR12","unstructured":"T. Margaria, C. Weise. Continuous Real Time Models in Practice. to appear in: Proc. 5th Euromicro Worksh. on Real-Time Systems, Oulu(Finland), Jun. '93"},{"key":"61_CR13","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, New York '89"},{"key":"61_CR14","doi-asserted-by":"crossref","unstructured":"F. Moller, C. Tofts. A Temporal Calculus of Communicating Systems. in: LNCS 458, Springer, New York '90, pp. 401\u2013415","DOI":"10.1007\/BFb0039073"},{"key":"61_CR15","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, S. Yovine. From ATP to Timed Graphs and Hybrid Systems. REX Workshop\u201d Real-Time: Theory in Practice\u201d, Jun. '91","DOI":"10.1007\/BFb0032007"},{"key":"61_CR16","doi-asserted-by":"crossref","unstructured":"G.M. Reed, A.W. Roscoe. A Timed Model for Communicating Sequential Processes. Journal of Theoretical Computer Science 58, '88, pp. 249\u2013261","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"61_CR17","unstructured":"B. Steffen, C. Weise. Deciding Equivalences for Dense Real-Time Processes. Technical Report. Aachener Informatik Berichte, Aachen University of Technology, to appear."},{"key":"61_CR18","doi-asserted-by":"crossref","unstructured":"W. Yi. CCS + Time = an Interleaving Model for Real-Time Systems. in: LNCS 510, Springer, New York '91, pp. 217\u2013228","DOI":"10.1007\/3-540-54233-7_136"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:01:01Z","timestamp":1742594461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}