{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:52:33Z","timestamp":1725483153069},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660101"},{"type":"electronic","value":"9783540487784"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48778-6_11","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T10:18:07Z","timestamp":1178014687000},"page":"172-191","source":"Crossref","is-referenced-by-count":7,"title":["Comparing the Efficiency of Asynchronous Systems"],"prefix":"10.1007","author":[{"given":"Lars","family":"Jenner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"11_CR1","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 Efficiency Preorder for Processes. Acta Informatica, 29:737\u2013760, 1992.","journal-title":"Acta Informatica"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"S. Arun-Kumar and V. Natarajan. Conformance: a Precongruence close to Bisimilarity. In J. Desel, editor, Structures in Concurrency Theory, Worksh. in Computing, 55\u201368. Springer, 1995.","DOI":"10.1007\/978-1-4471-3078-9_4"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0304-3975(91)90231-P","volume":"81","author":"E. Badouel","year":"1991","unstructured":"E. Badouel and P. Darondeau. On Guarded Recursion. TCS, 81:403\u2013408, 1991.","journal-title":"TCS"},{"key":"11_CR4","unstructured":"E. Bihler. Effizienzvergleich bei verteilten Systemen (German). Master\u2019s thesis, Institut f\u00fcr Informatik, Universit\u00e4t Augsburg, 1998."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Jerry R. Burch. Trace Algebra for Automatic Verification of Real-Time Concurrent Systems. PhD thesis, School of CS, Carnegie Mellon Univ., 1992.","DOI":"10.21236\/ADA256199"},{"issue":"11","key":"11_CR6","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1007\/s002360050107","volume":"34","author":"F. Corradini","year":"1997","unstructured":"F. Corradini, R. Gorrieri, and M. Roccetti. Performance preorder and competitive equivalence. Acta Informatica, 34 no. 11:805\u2013835, 1997.","journal-title":"Acta Informatica"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(97)00237-5","volume":"19","author":"F. Corradini","year":"1998","unstructured":"F. Corradini. On the Coarsest Congruence within Global-Clock-Bounded equivalence. TCS, 19:225\u2013237, 1998.","journal-title":"TCS"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"R. Cleaveland and A. Zwarico. A theory of testing for real-time. In Proc. 6th Symp. on Logic in Computer Science, pages 110\u2013119. IEEE Computer Society Press, 1991.","DOI":"10.1109\/LICS.1991.151635"},{"key":"11_CR9","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.C.B. Hennessy. Testing equivalence for processes. TCS, 34:83\u2013133, 1984.","journal-title":"TCS"},{"key":"11_CR10","unstructured":"M. Hennessy. An algebraic theory of processes. the M.I.T. Press, 1988."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"M. Hennessy and T. Regan. A process algebra for timed systems. Information and Computation, 117:221\u2013239, 1995.","journal-title":"Information and Computation"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"L. Jenner. Modular construction of fast asynchronous systems. Technical Report 1996-2, Inst. f. Informatik, Univ. Augsburg, 1996.","DOI":"10.1007\/3-540-61440-0_118"},{"key":"11_CR13","unstructured":"L. Jenner. Further studies on timed testing of concurrent systems. Technical Report 1998-4, Inst. f. Informatik, Univ. Augsburg, 1998."},{"key":"11_CR14","unstructured":"L. Jenner and W. Vogler. Fast asynchronous systems in dense time. Technical Report Nr. 344, Inst. f. Mathematik, Univ. Augsburg, 1995. Extended abstract appeared in Proc. ICALP 96."},{"key":"11_CR15","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, San Francisco, 1996."},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"P. Merlin and D. Farber. Recoverability of communication protocols \u2014 implications of a theoretical study. IEEE Trans. Comm., 24:1036\u20131043, 1976.","journal-title":"IEEE Trans. Comm."},{"key":"11_CR17","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. Relating processes with respect to speed. In J. Baeten and J. Groote, editors, CONCUR\u2019 91, Lect. Notes Comp. Sci. 527, 424\u2013438. Springer, 1991.","DOI":"10.1007\/3-540-54430-5_104"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"V. Natarajan and R. Cleaveland. An algebraic theory of process efficiency. In Proc. LICS\u201996. 11th Annual IEEE Symposium, 1996.","DOI":"10.1109\/LICS.1996.561304"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"V. Natarajan and R. Cleaveland. Predictability of real-time systems: A process-algebraic approach. In Proc. RTSS\u201996. 17th IEEE Real-Time Systems Symposium, 1996.","DOI":"10.1109\/REAL.1996.563703"},{"key":"11_CR21","first-page":"227","volume":"27","author":"L. Popova","year":"1991","unstructured":"L. Popova. On time Petri nets. J. Inform. Process. Cybern. EIK, 27:227\u2013244, 1991.","journal-title":"J. Inform. Process. Cybern. EIK"},{"key":"11_CR22","unstructured":"In Corrado Priami, editor, Proceedings PAPM\u201998, sixth international work-shop on Process Algebras and Performance Modelling, Nice, France, pages 137\u2013151. Universita degli studi di Verona, Facolta di Scienze, Istituto Policattedra, September 1998."},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1995.1014","volume":"116","author":"S. Schneider","year":"1995","unstructured":"S. Schneider. An operational semantics for timed CSP. Information and Computation, 116(2), pp.193\u2013213, 1995.","journal-title":"Information and Computation"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1006\/inco.1995.1130","volume":"121","author":"W. Vogler","year":"1995","unstructured":"W. Vogler. Timed testing of concurrent systems. Information and Computation, 121:149\u2013171, 1995.","journal-title":"Information and Computation"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"1661","DOI":"10.1145\/197320.197322","volume":"16\u20136","author":"J. Zic","year":"1994","unstructured":"J. Zic. Time constrained buffer specifications in CSP+T and timed CSP. ACM TOPLAS, 16\u20136:1661\u20131674, 1994.","journal-title":"ACM TOPLAS"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Real-Time and Probabilistic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48778-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:26:17Z","timestamp":1683825977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48778-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660101","9783540487784"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-48778-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}