{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T06:01:13Z","timestamp":1783576873356,"version":"3.55.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1994,11]]},"DOI":"10.1007\/bf01191625","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T14:18:36Z","timestamp":1108736316000},"page":"547-571","source":"Crossref","is-referenced-by-count":14,"title":["Efficiency of semisynchronous versus asynchronous networks"],"prefix":"10.1007","volume":"27","author":[{"given":"H.","family":"Attiya","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Mavronicolas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"No. 3","key":"CR1","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1145\/2402.322387","volume":"30","author":"E. Arjomandi","year":"1983","unstructured":"E. Arjomandi, M. Fischer, and N. Lynch, Efficiency of Synchronous versus Asynchronous Distributed Systems,Journal of the Association for Computing Machinery, Vol. 30, No. 3 (1983), pp. 449?456.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"No. 1","key":"CR2","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/174644.174649","volume":"14","author":"H. Attiya","year":"1994","unstructured":"H. Attiya, C. Dwork, N. Lynch, and L. Stockmeyer, Bounds on the Time To Reach Agreement in the Presence of Timing Uncertainty,Journal of the Association for Computing Machinery, Vol. 14, No. 1 (1994), pp. 122?152.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"No. 1","key":"CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1006\/inco.1994.1030","volume":"110","author":"H. Attiya","year":"1994","unstructured":"H. Attiya and N. Lynch, Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty,Information and Computation, Vol. 110, No. 1 (1994), pp. 183?232.","journal-title":"Information and Computation"},{"issue":"No. 4","key":"CR4","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1145\/4221.4227","volume":"32","author":"B. Awerbuch","year":"1985","unstructured":"B. Awerbuch, Complexity of Network Synchronization,Journal of the Association for Computing Machinery, Vol. 32, No. 4 (1985), pp. 804?823.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"No. 2","key":"CR5","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/322063.322067","volume":"25","author":"G. M. Baudet","year":"1978","unstructured":"G. M. Baudet, Asynchronous Iterative Methods for Multi-Processors,Journal of the Association for Computing Machinery, Vol. 25, No. 2 (1978), pp. 226?244.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"CR6","unstructured":"N. Lynch, Asynchronous versus Synchronous Computation (guest lecture), Lecture Notes for MIT 18.438: Network Protocols and Distributed Graph Algorithms, Spring 1989."},{"issue":"No. 2","key":"CR7","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF02252683","volume":"6","author":"N. Lynch","year":"1992","unstructured":"N. Lynch and H. Attiya, Using Mappings To Prove Timing Properties,Distributed Computing, Vol. 6, No. 2 (1992), pp. 121?139.","journal-title":"Distributed Computing"},{"key":"CR8","unstructured":"M. Mavronicolas, Efficiency of Semi-Synchronous versus Asynchronous Systems: Atomic Shared Memory,Computers and Mathematics with Applications, to appear. Also: Technical Report TR-03-92. Aiken Computation Laboratory, Harvard University, January 1992."},{"key":"CR9","unstructured":"M. Mavronicolas, Timing-Based Distribution Computation: Algorithms and Impossibility Results, Ph.D. Thesis, Harvard University, 1992. Also: Technical Report TR-13-92, Aiken Computation Laboratory, Harvard University, July 1992."},{"key":"CR10","first-page":"408","volume-title":"Time Constrained Automata","author":"M. Merritt","year":"1991","unstructured":"M. Merritt, F. Modugno, and M. Tuttle, Time Constrained Automata,Proceedings of the 2nd International Conference on Concurrency, pp. 408?423, Lecture Notes in Computer Science, Vol. 527, Springer-Verlag, Berlin, 1991."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"G. Peterson and M. Fischer, Economical Solutions for the Critical Section Problem in a Distributed System,Proceedings of the 9th Association for Computer Machinery Symposium on Theory of Computing, pp. 91?97, 1977.","DOI":"10.1145\/800105.803398"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"I. Rhee and J. L. Welch, The Impact of Time on the Session Problem,Proceedings of the 11th Annual Association for Computing Machinery Symposium on Principles of Distributed Computing, pp. 191?202, August 1992.","DOI":"10.1145\/135419.135459"},{"issue":"No. 1","key":"CR13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TIT.1983.1056620","volume":"29","author":"A. Segall","year":"1983","unstructured":"A. Segall, Distributed Network Protocols,IEEE Transactions on Information Theory, Vol. 29, No. 1 (1983), pp. 23?35.","journal-title":"IEEE Transactions on Information Theory"}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01191625.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01191625\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01191625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T21:07:20Z","timestamp":1586120840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01191625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":13,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["BF01191625"],"URL":"https:\/\/doi.org\/10.1007\/bf01191625","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}