{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:36Z","timestamp":1725574596518},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253884"},{"type":"electronic","value":"9783540319825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_5","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T07:29:02Z","timestamp":1294990142000},"page":"79-94","source":"Crossref","is-referenced-by-count":1,"title":["Bisimulation on Speed: A Unified Approach"],"prefix":"10.1007","author":[{"given":"Gerald","family":"L\u00fcttgen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"5_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s002360050047","volume":"33","author":"L. Aceto","year":"1996","unstructured":"Aceto, L., Murphy, D.: Timing and causality in process algebra. Acta Inform.\u00a033(4), 317\u2013350 (1996)","journal-title":"Acta Inform."},{"issue":"8","key":"5_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.C.B.: An efficiency preorder for processes. Acta Inform.\u00a029(8), 737\u2013760 (1992)","journal-title":"Acta Inform."},{"key":"5_CR3","first-page":"55","volume-title":"STRICT 1995, Workshops in Comp.","author":"S. Arun-Kumar","year":"1995","unstructured":"Arun-Kumar, S., Natarajan, V.: Conformance: A precongruence close to bisimilarity. In: STRICT 1995, Workshops in Comp., pp. 55\u201368. Springer, Heidelberg (1995)"},{"key":"5_CR4","first-page":"231","volume-title":"APAQS\u00a02001","author":"F. Corradini","year":"2001","unstructured":"Corradini, F., Di Berardini, M., Vogler, W.: PAFAS at work: Comparing the worst-case efficiency of three buffer implementations. In: APAQS\u00a02001, pp. 231\u2013240. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"11","key":"5_CR5","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1007\/s002360050107","volume":"34","author":"F. Corradini","year":"1997","unstructured":"Corradini, F., Gorrieri, R., Roccetti, M.: Performance preorder and competitive equivalence. Acta Inform.\u00a034(11), 805\u2013835 (1997)","journal-title":"Acta Inform."},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(94)00205-W","volume":"140","author":"R. Gorrieri","year":"1995","unstructured":"Gorrieri, R., Roccetti, M., Stancampiano, E.: A theory of processes with durational actions. TCS\u00a0140(1), 73\u201394 (1995)","journal-title":"TCS"},{"issue":"2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M.C.B. Hennessy","year":"1995","unstructured":"Hennessy, M.C.B., Regan, T.: A process algebra for timed systems. Inform. and Comp.\u00a0117(2), 221\u2013239 (1995)","journal-title":"Inform. and Comp."},{"issue":"1-2","key":"5_CR8","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/S0304-3975(99)00304-7","volume":"254","author":"L. Jenner","year":"2001","unstructured":"Jenner, L., Vogler, W.: Fast asynchronous systems in dense time. TCS\u00a0254(1-2), 379\u2013422 (2001)","journal-title":"TCS"},{"key":"5_CR9","unstructured":"L\u00fcttgen, G., Vogler, W.: Bisimulation on speed: A unified approach. Techn. Rep. 2004-15, Universit\u00e4t Augsburg, Germany (2004)"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.ic.2002.08.001","volume":"191","author":"G. L\u00fcttgen","year":"2004","unstructured":"L\u00fcttgen, G., Vogler, W.: Bisimulation on speed: Worst\u2013case efficiency. Inform. and Comp.\u00a0191(2), 105\u2013144 (2004)","journal-title":"Inform. and Comp."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"L\u00fcttgen, G., Vogler, W.: Bisimulation on speed: Lower time bounds. RAIRO Theoretical Informatics and Applications (2005) (to appear)","DOI":"10.1051\/ita:2005030"},{"key":"5_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0039073","volume-title":"CONCUR \u201990","author":"F. Moller","year":"1990","unstructured":"Moller, F., Tofts, C.: A temporal calculus of communicating systems. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 401\u2013415. Springer, Heidelberg (1990)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/3-540-54430-5_104","volume-title":"CONCUR \u201991","author":"F. Moller","year":"1991","unstructured":"Moller, F., Tofts, C.: Relating processes with respect to speed. In: Groote, J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol.\u00a0527, pp. 424\u2013438. Springer, Heidelberg (1991)"},{"key":"5_CR15","first-page":"63","volume-title":"LICS 1996","author":"V. Natarajan","year":"1996","unstructured":"Natarajan, V., Cleaveland, R.: An algebraic theory of process efficiency. In: LICS 1996, pp. 63\u201372. IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"1\u20132","key":"5_CR16","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1016\/S0304-3975(01)00300-0","volume":"275","author":"W. Vogler","year":"2002","unstructured":"Vogler, W.: Efficiency of asynchronous systems, read arcs, and the MUTEX-problem. TCS\u00a0275(1\u20132), 589\u2013631 (2002)","journal-title":"TCS"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0890-5401(03)00065-8","volume":"184","author":"W. Vogler","year":"2003","unstructured":"Vogler, W.: Faster asynchronous systems. Inform. and Comp.\u00a0184(2), 311\u2013342 (2003)","journal-title":"Inform. and Comp."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:32:58Z","timestamp":1605760378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}