{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:26Z","timestamp":1725453986844},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000467","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T06:30:36Z","timestamp":1128493836000},"page":"123-137","source":"Crossref","is-referenced-by-count":3,"title":["On the specification and verification of performance properties for a timed process algebra"],"prefix":"10.1007","author":[{"given":"Xiao Jun","family":"Chen","sequence":"first","affiliation":[]},{"given":"Flavio","family":"Corradini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s002360050047","volume":"33","author":"L. Aceto","year":"1996","unstructured":"L. Aceto and D. Murphy. Timing and causality in process algebra. Acta Informatica 33 (4), pp.317\u2013350, 1996.","journal-title":"Acta Informatica"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. IEEE LICS, pp.414\u2013425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T. Feder and T.A. Henzinger. The benefits of relaxing punctuality. 10th ACM PODC, 1991.","DOI":"10.1145\/112600.112613"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur and T. Henzinger. A Really Temporal Logic. TCS 126, 1994.","DOI":"10.1145\/174644.174651"},{"key":"9_CR5","first-page":"97","volume":"154","author":"S. Brooks","year":"1983","unstructured":"S. Brooks and W. Rounds. Behavioural equivalence relations induced by programming logics. LNCS 154, pp.97\u2013108, Springer-Verlag, 1983.","journal-title":"LNCS"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M.C. Browne","year":"1988","unstructured":"M.C. Browne, E.M. Clarke, and O. Grumberg. Characterizing finite Kripke structure in propositional temporal logic. TCS 59, pp.115\u2013131, 1988.","journal-title":"TCS"},{"key":"9_CR7","first-page":"306","volume":"1101","author":"X.J. Chen","year":"1996","unstructured":"X.J. Chen, F. Corradini, and R. Gorrieri. A Study on the Specification and Verification of Performance Properties. AMAST'96, LNCS 1101, pp.306\u2013320, 1996.","journal-title":"LNCS"},{"issue":"11","key":"9_CR8","first-page":"444","volume":"33","author":"F. Corradini","year":"1995","unstructured":"F. Corradini, R. Gorrieri, and M. Roccetti. Performance preorder: Ordering processes with respect to speed. In MFCS'95, LNCS 969, pp.444\u2013453, 1995. See also: Performance preorder and competitive equivalence. Acta Informatica 33 (11), 1997.","journal-title":"Acta Informatica"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"F. Corradini, and M. Pistore. Specification and Verification of Timed Lazy Systems. MFCS'96, LNCS 1113, pp.279\u2013290, 1996. See also: Specification and Verification of Timed Systems. Technical Report 107\/96, Department of Pure and Applied Mathematics, University of L'Aquila, 1996.","DOI":"10.1007\/3-540-61550-4_155"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1016\/0169-7552(93)90047-8","volume":"25","author":"R. Nicola De","year":"1993","unstructured":"R. De Nicola, A. Fantechi, S. Gnesi, and G. Ristori. An action-based framework for verifying logical and behavioural properties of concurrent systems. Computer Networks and ISDN Systems, 25, pp.761\u2013778, 1993.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"2","key":"9_CR11","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R. Nicola De","year":"1995","unstructured":"R. De Nicola and F. Vaandrager. Three logics for branching bisimulation. Journal of ACM 42 (2), pp.458\u2013487, 1995.","journal-title":"Journal of ACM"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and Modal Logic. Handbook of Theoretical Computer Science, volume B, chapter 16. Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"1","key":"9_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"E.A. Emerson and J.Y. Halpern. \u201cSometimes\u201d and \u201cNot Never\u201d revisited: on branching time versus linear time temporal logic. Journal of ACM 33 (1), pp.151\u2013178, 1986.","journal-title":"Journal of ACM"},{"key":"9_CR14","unstructured":"E.A. Emerson, A.K. Mok, A.P. Sistla and J. Srinivasan. Quantitative Temporal Reasoning. 2nd CAV, LNCS 531, Springer-Verlag, 1990."},{"key":"9_CR15","first-page":"123","volume":"354","author":"E.A. Emerson","year":"1989","unstructured":"E.A. Emerson and J. Srinivasan. Branching time temporal logic. LNCS 354, pp.123\u2013172. Springer-Verlag, 1989.","journal-title":"LNCS"},{"key":"9_CR16","first-page":"307","volume":"936","author":"G-L. Ferrari","year":"1995","unstructured":"G-L. Ferrari and U. Montanari. Dynamic matrices and the cost analysis of concurrent programs. AMAST'95 936, pp.307\u2013321, 1995.","journal-title":"AMAST'95"},{"issue":"1","key":"9_CR17","doi-asserted-by":"crossref","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. TCS, 140 (1), pp.73\u201394, 1995.","journal-title":"TCS"},{"key":"9_CR18","unstructured":"E. Harel, O. Lichtenstein and A. Pnueli. Explicit Clock Temporal Logic. 5th IEEE LICS, 1990."},{"issue":"1","key":"9_CR19","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of ACM, 32 (1), pp.137\u2013161, 1985.","journal-title":"Journal of ACM"},{"key":"9_CR20","first-page":"443","volume":"575","author":"U. Holmer","year":"1991","unstructured":"U. Holmer, K. Larsen and W. Yi. Deciding Properties of Regular Real Timed Processes. CAV'91 575, pp.443\u2013453, 1991.","journal-title":"CAV'91"},{"key":"9_CR21","first-page":"201","volume":"354","author":"Z. Manna","year":"1989","unstructured":"Z. Manna and A. Pnueli. The anchored version of the temporal framework. LNCS 354, pp.201\u2013284, Springer-Verlag, 1989.","journal-title":"LNCS"},{"key":"9_CR22","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall International, 1989. International Series on Computer Science."},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The Temporal Logic of Programs. IEEE FOCS'77, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"C. Stirling. Modal and temporal logics. Handbook of Logic in Computer Science, 2, pp.477\u2013563. Oxford University Press, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0005"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T09:06:58Z","timestamp":1706605618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0000467","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}