{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T10:07:19Z","timestamp":1769422039372,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540564966","type":"print"},{"value":"9783540475729","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56496-9_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:13:00Z","timestamp":1330254780000},"page":"302-315","source":"Crossref","is-referenced-by-count":81,"title":["Decidability of bisimulation equivalences for parallel timer processes"],"prefix":"10.1007","author":[{"given":"K\u0101rlis","family":"\u010cer\u0101ns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"24_CR1","unstructured":"R. Alur and D. Dill, Automata for Modelling Real-Time Systems, LNCS No. 443, 1990."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis and D. Dili, Model-Checking for Real-Time Systems, Proceedings from LICS'90 pp. 414\u2013425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"24_CR3","unstructured":"A. Auzi\u0146\u0161, J. B\u0101rzdi\u0146\u0161, J. Bi\u010devskis, K. \u010cer\u0101ns and A. Kalni\u0146\u0161, Automatic Construction of Test Sets: Theoretical Approach, Baltic Computer Science, LNCS, No. 502, 1991."},{"key":"24_CR4","unstructured":"B. Berthomieu and M.Menasche, An Enumerative Approach for Analyzing Time Petri Nets, Proc. IFIP Congress, 1983, North-Holland, 1983."},{"key":"24_CR5","unstructured":"CCITT Specification and Description Language (SDL), Recomendations Z.100, 1988."},{"key":"24_CR6","volume-title":"Report PMG-R63","author":"K. \u010cer\u0101ns","year":"1992","unstructured":"K. \u010cer\u0101ns, Decidability of Bisimulation Equivalence for Parallel Timed Processes, in Proc. of Chalmers Workshop on Concurrency, G\u00f6teborg, Report PMG-R63, Chalmers University of Technology, 1992."},{"key":"24_CR7","unstructured":"K. \u010cer\u0101ns, Feasibility of Finite and Infinite Paths in Data Dependent Programs, in Proc. for LFCS'92, Russia, Tver, LNCS No. 620, 1992."},{"key":"24_CR8","volume-title":"Technical report","author":"K. \u010cer\u0101ns","year":"1992","unstructured":"K. \u010cer\u0101ns, Decidability of Bisimulation Equivalences for Processes with Parallel Timers, Technical report, Institute of Mathematics and Computer Science, University of Latvia, Riga, 1992."},{"key":"24_CR9","volume-title":"Dr.Sc.comp theses","author":"K. \u010cer\u0101ns","year":"1992","unstructured":"K. \u010cer\u0101ns, Algorithmic Problems in Analysis of Real Time System Specifications, Dr.Sc.comp theses, University of Latvia, Riga, 1992."},{"key":"24_CR10","unstructured":"L. Chen, Decidability and Completeness in Real Time Processes, LFCS, Edinburgh University, 1991."},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"C.Ghezzi, D.Mandrioli, S.Morasca and M.Pezze A General Way To Put Time in Petri Nets, ACM SIGSOFT Eng. Notes, Vol. 14, No. 3, 1989.","DOI":"10.1145\/75200.75210"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"U. Holmer, K.Larsen and Yi Wang, Deciding Properties for Regular Real Timed Processes, CAV'91, 1991.","DOI":"10.1007\/3-540-55179-4_41"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"K.G.Larsen, Efficient Local Correctness Checking, this Workshop, 1992.","DOI":"10.1007\/3-540-56496-9_4"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"P. Merlin and D.J. Farber, Recoverability of Communication Protocols, IEEE Trans. on Communication Protocols, Vol. COM-24, No. 9, 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"X.Nicollin, J.Sifakis and S.Yovine, From ATP to Timed Graphs and Hybrid Systems, in Proc. of REX Workshop \u201dReal-Time: Theory in Practice\u201d, 1991.","DOI":"10.1007\/BFb0032007"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe, A Timed Model for Communicating Sequential Processes, LNCS No. 226, 1986.","DOI":"10.1007\/3-540-16761-7_81"},{"key":"24_CR17","unstructured":"Yi Wang, Real Time Behaviour of Asynchronous Agents, LNCS No. 458, 1990."},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Yi Wang, CCS + Time = an Interleaving Model for Real Time Systems, ICALP'91, Madrid, 1991.","DOI":"10.1007\/3-540-54233-7_136"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56496-9_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:48:51Z","timestamp":1742593731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56496-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564966","9783540475729"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-56496-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}