{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:43Z","timestamp":1775053243271,"version":"3.50.1"},"reference-count":0,"publisher":"SAGE Publications","issue":"1-3","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2009,6]]},"abstract":"<jats:p>Timed transition systems are a widely studied model for real-time\n\t\t\t systems. The intention of the paper is to show the applicability of the general\n\t\t\t categorical framework of openmaps in order to prove that timed delay\n\t\t\t equivalence is indeed an equivalence relation in the setting of timed\n\t\t\t transition systems with invariants. In particular, we define a category of the\n\t\t\t model under consideration and an accompanying (sub)category of observations to\n\t\t\t which the corresponding notion of open maps is developed. We then use the open\n\t\t\t maps framework to obtain an abstract equivalence relation which is established\n\t\t\t to coincide with timed delay bisimulation.<\/jats:p>","DOI":"10.3233\/fi-2009-0092","type":"journal-article","created":{"date-parts":[[2019,12,3]],"date-time":"2019-12-03T03:42:46Z","timestamp":1575344566000},"page":"127-142","source":"Crossref","is-referenced-by-count":5,"title":["Timed Delay Bisimulation is an Equivalence Relation for Timed\t\t\t Transition Systems"],"prefix":"10.1177","volume":"93","author":[{"given":"Natalya","family":"Gribovskaya","sequence":"first","affiliation":[{"name":"A.P. Ershov Institute of Informatics Systems, SB RAS,\r\t\t\t 6, Acad. Lavrentiev av., Novosibirsk, 630090, Russia. natamosk@ngs.ru"}]},{"given":"Irina","family":"Virbitskaite","sequence":"additional","affiliation":[{"name":"A.P. Ershov Institute of Informatics Systems, SB RAS,\r\t\t\t 6, Acad. Lavrentiev av., Novosibirsk, 630090, Russia, and Novosibirsk State\r\t\t\t University, 2, Pirogova st., Novosibirsk, 630090, Russia. virb@iis.nsk.su"}]}],"member":"179","published-online":{"date-parts":[[2009,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-0092","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-0092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T10:55:33Z","timestamp":1751367333000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2009-0092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":0,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["10.3233\/FI-2009-0092"],"URL":"https:\/\/doi.org\/10.3233\/fi-2009-0092","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}