{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T04:11:07Z","timestamp":1751429467170,"version":"3.41.0"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010,7]]},"abstract":"<jats:p>Timed transition systems are a widely studied model for real-time systems. The intention of the paper is to show how several categorical (open maps, path-bisimilarity and coalgebraic) approaches to an abstract characterization of bisimulation relate to each other and to the numerous suggested behavioural equivalences of linear time \u2013 branching time spectrum, in the setting of timed transition systems.<\/jats:p>","DOI":"10.3233\/fi-2010-301","type":"journal-article","created":{"date-parts":[[2019,12,3]],"date-time":"2019-12-03T04:13:04Z","timestamp":1575346384000},"page":"129-143","source":"Crossref","is-referenced-by-count":3,"title":["A Categorical View of Timed Behaviours"],"prefix":"10.1177","volume":"102","author":[{"given":"Irina","family":"Virbitskaite","sequence":"first","affiliation":[{"name":"A.P. Ershov Institute of Informatics Systems, SB RAS, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia"},{"name":"Novosibirsk State University, 2, Pirogova st., Novosibirsk, 630090, Russia. virb@iis.nsk.su"}]},{"given":"Natalya","family":"Gribovskaya","sequence":"additional","affiliation":[{"name":"A.P. Ershov Institute of Informatics Systems, SB RAS, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia"}]},{"given":"Eike","family":"Best","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky University of Oldenburg, D-26111 Oldenburg, Germany"}]}],"member":"179","published-online":{"date-parts":[[2010,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2010-301","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2010-301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T10:56:27Z","timestamp":1751367387000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2010-301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["10.3233\/FI-2010-301"],"URL":"https:\/\/doi.org\/10.3233\/fi-2010-301","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"type":"print","value":"0169-2968"},{"type":"electronic","value":"1875-8681"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}