{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:11:51Z","timestamp":1743135111975,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_8","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"68-76","source":"Crossref","is-referenced-by-count":0,"title":["Compositional Methods in Characterization of Timed Event Structures"],"prefix":"10.1007","author":[{"given":"Elena","family":"Bozhenkova","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-18419-8_9","volume-title":"Mathematical Models for the Semantics of Parallelism","author":"L. Aceto","year":"1987","unstructured":"Aceto, L., De Nicola, R., Fantechi, A.: Testing Equivalences for Event Structures. In: Venturini Zilli, M. (ed.) Mathematical Models for the Semantics of Parallelism. LNCS, vol.\u00a0280, pp. 1\u201320. Springer, Heidelberg (1987)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model checking in dense real time. Inform. and Comput.\u00a0104, 2\u201334 (1993)","journal-title":"Inform. and Comput."},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2000-43123401","volume":"43","author":"M.V. Andreeva","year":"2000","unstructured":"Andreeva, M.V., Bozhenkova, E.N., Virbitskaite, I.B.: Analysis of timed concurrent models based on testing equivalence. Fundamenta Informaticae\u00a043, 1\u201320 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-30080-9_2","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"E. Bihler","year":"2004","unstructured":"Bihler, E., Vogler, W.: Timed Petri Nets: Efficiency of Asynchronous Systems. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 25\u201358. Springer, Heidelberg (2004)"},{"issue":"3","key":"8_CR5","first-page":"52","volume":"15","author":"E.N. Bozhenkova","year":"2010","unstructured":"Bozhenkova, E.N.: Testing equivalences for reak-time event structures. Journal of Computational Technologies\u00a015(3), 52\u201368 (2010) (in Russian)","journal-title":"Journal of Computational Technologies"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-49382-2_9","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"I. Castellani","year":"1998","unstructured":"Castellani, I., Hennessy, M.: Testing Theories for Asynchronous Languages. In: Arvind, V., Sarukkai, S. (eds.) FST TCS 1998. LNCS, vol.\u00a01530, pp. 90\u2013102. Springer, Heidelberg (1998)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-52148-8_2","volume-title":"Automatic Verification Methods for Finite State Systems","author":"R. Cleaveland","year":"1990","unstructured":"Cleaveland, R., Hennessy, M.: Testing Equivalence as a Bisimulation Equivalence. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 11\u201323. Springer, Heidelberg (1990)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Zwarico, A.E.: A theory of testing for real-time. In: Proc. 6th IEEE Symp. on Logic in Comput. Sci., LICS 1991, Amsterdam, The Netherlands, pp. 110\u2013119 (1991)","DOI":"10.1109\/LICS.1991.151635"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalence for processes. Theoretical Comput. Sci.\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Comput. Sci."},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-61550-4_165","volume-title":"Mathematical Foundations of Computer Science 1996","author":"U. Goltz","year":"1996","unstructured":"Goltz, U., Wehrheim, H.: Causal Testing. In: Penczek, W., Sza\u0142as, A. (eds.) MFCS 1996. LNCS, vol.\u00a01113, pp. 394\u2013406. Springer, Heidelberg (1996)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Inform. and Comput.\u00a0117, 221\u2013239 (1995)","journal-title":"Inform. and Comput."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Laroussinie, F., Larsen, K.L., Weise, C.: From timed automata to logic \u2014 and back. \u2014 \u00c5rhus (1995) (Tech. Rep. \/ BRICS, Dept. Comput. Sci., Univ. of \u00c5rhus; N RS-95-2)","DOI":"10.7146\/brics.v2i2.19504"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-45319-9_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Nielsen","year":"2001","unstructured":"Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 343\u2013357. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:55:28Z","timestamp":1743112528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}