{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:31Z","timestamp":1725664531836},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602187"},{"type":"electronic","value":"9783540447382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60218-6_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:51:51Z","timestamp":1330278711000},"page":"516-530","source":"Crossref","is-referenced-by-count":0,"title":["CTR: A calculus of timed refinement"],"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,6,3]]},"reference":[{"key":"39_CR1","unstructured":"R. Alur and D. Dill, Automata for Modelling Real-Time Systems, in Proceedings of ICALP'90, Lecture Notes in Computer Science No. 443, 1990."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, A. Itai and R. Kurshan, Timing Verification by Successive Approximation, in Proceedings of CAV'92, Lecture Notes in Computer Science No. 663, 1992.","DOI":"10.1007\/3-540-56496-9_12"},{"key":"39_CR3","unstructured":"R. Alur, T.H. Henzinger, P.-H. Ho, Automatic Symbolic Verification of Embedded Systems in Proceedings of 14th IEEE RTSS, 1993."},{"key":"39_CR4","unstructured":"CCITT, Functional Specification and Description Language (SDL), Recommendations Z.100, 1989."},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"K. \u010cer\u0101ns, Decidability of Bisimulation Equivalences for Parallel Timer Processes, in Proceedings of CAV'92, Lecture Notes in Computer Science No. 663, 1992.","DOI":"10.1007\/3-540-56496-9_24"},{"key":"39_CR6","unstructured":"K. \u010cer\u0101ns, Algorithmic Problems in Analysis of Real Time System Specifications, Dr.sc.comp. theses, University of Latvia, 1992."},{"key":"39_CR7","unstructured":"K. \u010cer\u0101ns, A Calcuius of Timed Refinement, in Proceedings of NWPT6, BRICS-NS-94-6, Aarhus, Denmark, 1994."},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"K. \u010cer\u0101ns, J.Chr. Godskesen and K.G. Larsen, Timed Modal Specification \u2014 Theory and Tools, in Proceedings of CAV'93, Lecture Notes in Computer Science No. 697, 1993.","DOI":"10.1007\/3-540-56922-7_21"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"K. \u010cer\u0101ns, J.Chr. Godskesen and K.G. Larsen, Timed Modal Specification \u2014 Theory and Tools, submitted to Formal Aspects of Computing, 1994.","DOI":"10.1007\/3-540-56922-7_21"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"L. Chen, An Interleaving Model for Real Time Systems, in Proceedings of LFCS'92, Lecture Notes in Computer Science No. 620, 1992.","DOI":"10.1007\/BFb0023865"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"M. Daniels, Modelling Real-Time Behaviour with an Interval Time Calculus, in Proceedings of Conference on Formal Techniques in RT and FT Systems, Nijmegen, 1992","DOI":"10.1007\/3-540-55092-5_4"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca and M. Pezze A General Way To Put Time in Petri Nets, in ACM SIGSOFT Eng. Notes, Vol. 14, No. 3, 1989.","DOI":"10.1145\/75200.75210"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"J.Chr. Godskesen, K.G. Larsen and A. Skou, Automatic Verification of Real-Timed Systems Using Epsilon, BRICS-RS-94-19, 1994.","DOI":"10.7146\/brics.v1i19.21648"},{"key":"39_CR14","unstructured":"J.Chr. Godskesen, Timed Modal Specifications \u2014 A Theory for Verification of Real-Time Concurrent Systems, Ph.D thesis, Aalborg University, 1994."},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"M. Hennessy and R. Milner, Algebraic Laws for Nondeterminism and Concurrency, Journal of the ACM, 1985.","DOI":"10.1145\/2455.2460"},{"key":"39_CR16","unstructured":"K.G. Larsen, Modal Specifications, in Proceedings of CAV, Lecture Notes in Computer Science No. 407, 1989."},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, B. Steffen and C. Weise, A Constraint Oriented Proof Methodology based on Modal Transition Systems, BRICS-RS-94-47, 1994.","DOI":"10.7146\/brics.v1i47.21595"},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and B. Thomsen, A Modal Process Logic, in Proceedings of the fifth IEEE Symposium on Logic in Computer Science, 1988.","DOI":"10.1109\/LICS.1988.5119"},{"key":"39_CR19","unstructured":"N.A. Lynch and F.W. Vaandrager, Action Transducers and Timed Automata, in Proceedings of CONCUR'92, Lecture Notes in Computer Science No. 630, 1992."},{"key":"39_CR20","volume-title":"Reports CS-R9313 and CS-R9314","author":"N.A. Lynch","year":"1993","unstructured":"N.A. Lynch and F.W. Vaandrager, Forward and backward simulations, Part I and II, Reports CS-R9313 and CS-R9314, CWI, Amsterdam, 1993."},{"key":"39_CR21","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":"39_CR22","unstructured":"R. Milner, Communication and Concurrency, Series in Computer Science, Prentice-Hall International, 1989."},{"key":"39_CR23","doi-asserted-by":"crossref","unstructured":"Yi Wang, Real Time Behaviour of Asynchronous Agents, in Proceedings of CONCUR'90, Lecture Notes in Computer Science No. 458, 1990.","DOI":"10.1007\/BFb0039080"},{"key":"39_CR24","doi-asserted-by":"crossref","unstructured":"Yi Wang, CCS + Time = an Interleaving Model for Real Time Systems, in Proceedings of ICALP'91, Lecture Notes in Computer Science No. 510, 1991.","DOI":"10.1007\/3-540-54233-7_136"},{"key":"39_CR25","unstructured":"Yi Wang, A Calculus of Real Time Systems, Ph.D thesis, University of G\u00f6teborg and Chalmers University of Technology, 1991."}],"container-title":["Lecture Notes in Computer Science","CONCUR '95: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60218-6_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:04Z","timestamp":1605646564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60218-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602187","9783540447382"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-60218-6_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}