{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:18:29Z","timestamp":1725549509674},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253044"},{"type":"electronic","value":"9783540318620"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31862-0_9","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:28:55Z","timestamp":1268400535000},"page":"99-112","source":"Crossref","is-referenced-by-count":2,"title":["A Logical Characterization of Efficiency Preorders"],"prefix":"10.1007","author":[{"given":"Neelesh","family":"Korade","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Arun-Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Theoretical Aspects of Computer Software","author":"S. Arun-Kumar","year":"1991","unstructured":"Arun-Kumar, S., Hennessy, M.: An Efficiency Preorder for Processes. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526. Springer, Heidelberg (1991)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/BF01191894","volume":"29","author":"S. Arun-Kumar","year":"1992","unstructured":"Arun-Kumar, S., Hennessy, M.: An Efficiency Preorder for Processes. Acta Informatica\u00a029, 737\u2013760 (1992)","journal-title":"Acta Informatica"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Arun-Kumar, S., Natarajan, V.: Conformance: A Precongruence Close to Bisimilarity. In: Proceedings Structures in Concurrency Theory, Springer Workshops in Computer Science Series (1995)","DOI":"10.1007\/978-1-4471-3078-9_4"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1007\/s002360050107","volume":"34","author":"F. Corradini","year":"1997","unstructured":"Corradini, F., Gorrieri, R., Rocetti, M.: Performance Preorder and Competitive Equivalence. Acta Informatica\u00a034, 805\u2013835 (1997)","journal-title":"Acta Informatica"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM\u00a032, 137\u2013161 (1985)","journal-title":"Journal of ACM"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/3-540-62034-6_41","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"K. Jain","year":"1996","unstructured":"Jain, K., Arun-Kumar, S.: Testing Processes for Efficiency. In: Chandru, V., Vinay, V. (eds.) FSTTCS 1996. LNCS, vol.\u00a01180, pp. 100\u2013110. Springer, Heidelberg (1996)"},{"key":"9_CR7","unstructured":"Jenner, L., Vogler, W.: Comparing the Efficiency of Asynchronous Systems. Technical Report 1998-3, Universit\u00e4t Augsburg (December 1998)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-44685-0_18","volume-title":"CONCUR 2001 - Concurrency Theory","author":"G. Luettgen","year":"2001","unstructured":"Luettgen, G., Vogler, W.: A faster-than relation for asynchronous processes. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 262\u2013276. Springer, Heidelberg (2001)"},{"key":"9_CR9","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall International, Englewood Cliffs (1989)"},{"key":"9_CR10","unstructured":"Milner, R.: Contractions, Handwritten notes (1990)"},{"key":"9_CR11","unstructured":"Milner, R.: Expansions. Handwritten notes (1990)"},{"key":"9_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)"},{"key":"9_CR13","volume-title":"Proceedings Logic in Computer Science 1996","author":"V. Natarajan","year":"1996","unstructured":"Natarajan, V., Cleaveland, R.: An Algebraic Theory of Process Efficiency. In: Proceedings Logic in Computer Science 1996. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"9_CR14","volume-title":"Handbook of Process Algebra","author":"R.J. Glabeek van","year":"2001","unstructured":"van Glabeek, R.J.: The Linear Time \u2013 Branching Time Spectrum I. The Semantics of Concrete, Sequential Processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra. Elsevier Science B.V, Netherlands (2001)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31862-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:34:12Z","timestamp":1558287252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31862-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253044","9783540318620"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31862-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}