{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300987,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615507"},{"type":"electronic","value":"9783540705970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61550-4_155","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:54:10Z","timestamp":1330293250000},"page":"279-290","source":"Crossref","is-referenced-by-count":10,"title":["Specification and verification of timed lazy systems"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Marco","family":"Pistore","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto and D. Murphy. On the ill-timed but well-caused. In CONCUR'93, LNCS 715, pages 97\u2013111. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_8"},{"key":"20_CR2","unstructured":"L. Aceto and D. Murphy. Timing and causality in process algebra. Technical Report 9\/93, University of Sussex, 1993. To appear in Acta Informatica."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/BF01191894","volume":"29","author":"S. Arun-Kumar","year":"1992","unstructured":"S. Arun-Kumar and M. Hennessy. An efficient preorder for processes. Acta Informatica, 29:737\u2013760, 1992.","journal-title":"Acta Informatica"},{"key":"20_CR4","unstructured":"F. Corradini. Compositionality for processes with durational actions. In ICTCS'95, World Scientific, 1995."},{"key":"20_CR5","unstructured":"F. Corradini, R. Gorrieri and M. Roccetti. Performance preorder and competitive equivalence. Technical Report 95\/01, University of Bologna, 1995."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"F. Corradini, R. Gorrieri and M. Roccetti. Performance preorder: Ordering processes with respect to speed. In MFCS'95, LNCS 969, pages 444\u2013453. Springer Verlag 1995.","DOI":"10.1007\/3-540-60246-1_150"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"F. Corradini and M. Pistore. Specification and Verification of Timed Systems. Technical Report 96\/107, University of L'Aquila, 1996.","DOI":"10.1007\/3-540-61550-4_155"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola and M. Hennessy: Testing Equivalences for Processes. Theoretical Computer Science, 34, pages 83\u2013133, 1984.","journal-title":"Theoretical Computer Science"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"G-C. Fernandez and L. Mounier. \u201cOn-the-fly\u201d verification of behavioural equivalences and preorders. In CAV'91, LNCS 575, pages 181\u2013191. Springer Verlag, 1992.","DOI":"10.1007\/3-540-55179-4_18"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"G-L. Ferrari and U. Montanari. Dynamic matrices and the cost analysis of concurrent programs. In AMAST'95, LNCS 936. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60043-4_61"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"R. Gorrieri and M. Roccetti. Towards performance evaluation in process algebras. In AMAST'93, pages 289\u2013296. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3227-1_30"},{"issue":"1","key":"20_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(94)00205-W","volume":"140","author":"R. Gorrieri","year":"1995","unstructured":"R. Gorrieri, M. Roccetti and E. Stancampiano. A theory of processes with durational actions. Theoretical Computer Science, 140(1):73\u201394, 1995.","journal-title":"Theoretical Computer Science"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"P.C. Kanellakis and S.C. Smolka. CCS expressions, finite state processes and three problem of equivalence. In Second ACM Symposium on Principles of Distributed Computing, 1983.","DOI":"10.1145\/800221.806724"},{"key":"20_CR14","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall International, 1989. International Series on Computer Science."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. Relating processes with respect to speed. In CONCUR'91, LNCS 527, pages 424\u2013438. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_104"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61550-4_155.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:21:17Z","timestamp":1742599277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61550-4_155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615507","9783540705970"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61550-4_155","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}