{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:07Z","timestamp":1762458727928},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,3,24]],"date-time":"2009-03-24T00:00:00Z","timestamp":1237852800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1007\/s00236-009-0092-9","type":"journal-article","created":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T06:59:00Z","timestamp":1237791540000},"page":"209-235","source":"Crossref","is-referenced-by-count":4,"title":["Liveness of a mutex algorithm in a fair process algebra"],"prefix":"10.1007","volume":"46","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Maria Rita","family":"Di Berardini","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,3,24]]},"reference":[{"key":"92_CR1","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench: a semantics-based tool for the verification of concurrent systems. In: Proceedings of ACM Transaction on Programming Languages and Systems, vol. 15 (1993)","DOI":"10.1145\/151646.151648"},{"key":"92_CR2","doi-asserted-by":"crossref","unstructured":"Corradini, F., Di Berardini, M.R., Vogler, W.: PAFAS at work: comparing the worst-case efficiency of three buffer implementations. In: Proceedings of 2nd Asia-Pacific Conference on Quality Software, APAQS 2001, pp. 231\u2013240, IEEE (2001)","DOI":"10.1109\/APAQS.2001.990024"},{"issue":"3","key":"92_CR3","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.tcs.2006.02.011","volume":"356","author":"F. Corradini","year":"2006","unstructured":"Corradini F., Di Berardini M.R., Vogler W.: Fairness of components in system computations. Theor. Comput. Sci. 356(3), 291\u2013324 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"92_CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s00236-006-0011-2","volume":"43","author":"F. Corradini","year":"2006","unstructured":"Corradini F., Di Berardini M.R., Vogler W.: Fairness of actions in system computations. Acta Inform. 43, 73\u2013130 (2006)","journal-title":"Acta Inform."},{"key":"92_CR5","unstructured":"Corradini, F., Di Berardini, M., Vogler, W.: Liveness of a MUTEX algorithm in a fair process algebra. Tech. Rep. 2008-03, University of Augsburg. http:\/\/www.Informatik.Uni-Augsburg.DE\/forschung\/reports\/ (2008)"},{"key":"92_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.tcs.2004.01.039","volume":"335","author":"F. Corradini","year":"2005","unstructured":"Corradini F., Vogler W.: Measuring the performance of asynchronous systems with PAFAS. Theor. Comput. Sci. 335, 187\u2013213 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"92_CR7","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1007\/s00236-002-0094-3","volume":"38","author":"F. Corradini","year":"2002","unstructured":"Corradini F., Vogler W., Jenner L.: Comparing the worst-case efficiency of asynchronous systems with PAFAS. Acta Inform. 38, 735\u2013792 (2002)","journal-title":"Acta Inform."},{"key":"92_CR8","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/BF00271640","volume":"21","author":"G. Costa","year":"1984","unstructured":"Costa G., Stirling C.: A fair calculus of communicating systems. Acta Inform. 21, 417\u2013441 (1984)","journal-title":"Acta Inform."},{"key":"92_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0890-5401(87)90013-7","volume":"73","author":"G. Costa","year":"1987","unstructured":"Costa G., Stirling C.: Weak and strong fairness in CCS. Inform. Comput. 73, 207\u2013244 (1987)","journal-title":"Inform. Comput."},{"key":"92_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"Francez N.: Fairness. Springer, Berlin (1986)"},{"issue":"2","key":"92_CR11","doi-asserted-by":"crossref","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-case efficiency. Inform. Comput. 191(2), 105\u2013144 (2004)","journal-title":"Inform. Comput."},{"key":"92_CR12","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch N.: Distributed Algorithms. Morgan Kaufmann Publishers, San Francisco (1996)"},{"key":"92_CR13","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall International, Englewood Cliffs (1989)"},{"key":"92_CR14","doi-asserted-by":"crossref","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. Theor. Comput. Sci. 275, 589\u2013631 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"92_CR15","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF01887209","volume":"1","author":"D.J. Walker","year":"1989","unstructured":"Walker D.J.: Automated analysis of mutual exclusion algorithms using CCS. Form. Asp. Comput. 1, 273\u2013292 (1989)","journal-title":"Form. Asp. Comput."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-009-0092-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-009-0092-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-009-0092-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:41:55Z","timestamp":1558705315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-009-0092-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,24]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,5]]}},"alternative-id":["92"],"URL":"https:\/\/doi.org\/10.1007\/s00236-009-0092-9","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,24]]}}}