{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:34:22Z","timestamp":1725680062231},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_14","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T05:49:34Z","timestamp":1336801774000},"page":"142-152","source":"Crossref","is-referenced-by-count":0,"title":["A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences"],"prefix":"10.1007","author":[{"given":"Natalya S.","family":"Gribovskaya","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1989","unstructured":"Boudol, G., Castellani, I.: Concurrency and atomicity. Theoretical Computer Science\u00a059, 25\u201384 (1989)","journal-title":"Theoretical Computer Science"},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/LICS.1996.561303","volume-title":"11th Annual IEEE Symp. on Logic in Computer Science","author":"G.L. Cattani","year":"1996","unstructured":"Cattani, G.L., Sassone, V.: Higher dimentional transition systems. In: 11th Annual IEEE Symp. on Logic in Computer Science, pp. 55\u201362. IEEE Comp. Soc. Press, Washington (1996)"},{"issue":"1-3","key":"14_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-2009-0092","volume":"93","author":"N.S. Gribovskaya","year":"2009","unstructured":"Gribovskaya, N.S., Virbitskaite, I.B.: Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems. Fundamenta Informaticae\u00a093(1-3), 127\u2013142 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.3233\/FI-1999-381206","volume":"38","author":"T. Hune","year":"1999","unstructured":"Hune, T., Nielsen, M.: Bisimulation and open maps for timed transition systems. Fundamenta Informaticae\u00a038, 61\u201377 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0168-0072(94)90069-8","volume":"70","author":"A. Joyal","year":"1997","unstructured":"Joyal, A., Moerdijk, I.: A completeness theorem for open maps. Annual Pure Applied Logic\u00a070, 51\u201386 (1997)","journal-title":"Annual Pure Applied Logic"},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Information and Computation\u00a0127(2), 164\u2013185 (1996)","journal-title":"Information and Computation"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/3-540-61648-9_52","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J.-P. Katoen","year":"1996","unstructured":"Katoen, J.-P., Langerak, R., Latella, D., Brinksma, E.: On Specifying Real-time Systems in a Causality-based Setting. In: Jonsson, B., Parrow, J. (eds.) FTRTFT 1996. LNCS, vol.\u00a01135, pp. 385\u2013404. Springer, Heidelberg (1996)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-60692-0_54","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Cheng, A.: Observing Behaviour Categorically. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol.\u00a01026, pp. 263\u2013278. Springer, Heidelberg (1995)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-03409-1_25","volume-title":"Fundamentals of Computation Theory","author":"E.S. Oshevskaya","year":"2009","unstructured":"Oshevskaya, E.S.: Open Maps Bisimulations for Higher Dimensional Automata Models. In: Kuty\u0142owski, M., Charatonik, W., G\u0119bala, M. (eds.) FCT 2009. LNCS, vol.\u00a05699, pp. 274\u2013286. Springer, Heidelberg (2009)"},{"issue":"1-4","key":"14_CR10","first-page":"383","volume":"60","author":"I.B. Virbitskaite","year":"2004","unstructured":"Virbitskaite, I.B., Gribovskaya, N.S.: Open maps and observational equivalences for timed partial order models. Fundamenta Informaticae\u00a060(1-4), 383\u2013399 (2004)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"14_CR11","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3233\/FI-2010-301","volume":"102","author":"I.B. Virbitskaite","year":"2010","unstructured":"Virbitskaite, I.B., Gribovskaya, N.S., Best, E.: A Categorical View of Timed Behaviours. Fundamenta Informaticae\u00a0102(1), 129\u2013143 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School\/Workshop","author":"G. Winskel","year":"1989","unstructured":"Winskel, G.: An Introduction to Event Structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School\/Workshop. LNCS, vol.\u00a0354, pp. 364\u2013397. Springer, Heidelberg (1989)"}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:14:17Z","timestamp":1620112457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}