{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:11:38Z","timestamp":1725570698526},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642176524"},{"type":"electronic","value":"9783642176531"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17653-1_19","type":"book-chapter","created":{"date-parts":[[2010,12,6]],"date-time":"2010-12-06T05:50:47Z","timestamp":1291614647000},"page":"235-252","source":"Crossref","is-referenced-by-count":1,"title":["On the Automated Implementation of Time-Based Paxos Using the IOA Compiler"],"prefix":"10.1007","author":[{"given":"Chryssis","family":"Georgiou","sequence":"first","affiliation":[]},{"given":"Procopis","family":"Hadjiprocopiou","sequence":"additional","affiliation":[]},{"given":"Peter M.","family":"Musial","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"IOA language and toolset, http:\/\/theory.lcs.mit.edu\/tds\/ioa\/"},{"key":"19_CR2","unstructured":"INMOS Ltd: occam Programming Manual (1984)"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"19_CR4","doi-asserted-by":"publisher","DOI":"10.1002\/0471478210","volume-title":"Distributed Computing: Fundamentals, Simulations, and Advanced Topics","author":"H. Attiya","year":"2004","unstructured":"Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics, 2nd edn. Wiley Interscience, Hoboken (2004)","edition":"2"},{"issue":"1","key":"19_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/637437.637447","volume":"34","author":"R. Boichat","year":"2003","unstructured":"Boichat, R., Dutta, P., Frolund, S., Guerraoui, R.: Deconstructing Paxos. SIGACT News\u00a034(1), 47\u201367 (2003)","journal-title":"SIGACT News"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Gada, J.N., Lewis, P.M., Smolka, S.A., Sokolsky, O., Zhang, S.: The Concurrency Factory: Practical tools for specification, simulation, verification and implementation of concurrent systems. In: DIMACS Workshop, pp. 75\u201389 (1994)","DOI":"10.1090\/dimacs\/018\/06"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.U.: The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM TOPLAS\u00a015(1) (1993)","DOI":"10.1145\/151646.151648"},{"key":"#cr-split#-19_CR8.1","doi-asserted-by":"crossref","unstructured":"De Prisco, R.: Revisiting the Paxos Algorithm. Master???s thesis, Laboratory for Computer Science, Massachusetts Institute of Technology (1997);","DOI":"10.1007\/BFb0030679"},{"key":"#cr-split#-19_CR8.2","unstructured":"Also as TR: MIT-LCS-TR-717"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M. Fisher","year":"1985","unstructured":"Fisher, M., Lynch, N., Paterson, M.: Impossibility of distributed consensus with one faulty process. Journal of the ACM\u00a032, 374\u2013382 (1985)","journal-title":"Journal of the ACM"},{"key":"19_CR10","unstructured":"M.\u00a0P.\u00a0I. Forum. MPI: A message-passing interface standard. International Journal of Supercomputer Applications\u00a08(3\/4) (1994)"},{"key":"19_CR11","unstructured":"Garland, S., Lynch, N., Tauber, J., Vaziri, M.: IOA user guide and reference manual. Technical Report MIT\/LCS\/TR-961 (July 2004), http:\/\/theory.lcs.mit.edu\/tds\/ioa\/manual.ps"},{"key":"19_CR12","unstructured":"Garland, S.J., Guttag, J.V.: A guide to LP, the Larch Prover. Research Report\u00a082, Digital Systems Research Center (1991)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Georgiou, C., Hadjiprocopiou, P., Musial, P.M.: On the automated implementation of time-based Paxos using the IOA compiler. Technical Report (2010), http:\/\/www.cs.ucy.ac.cy\/~chryssis\/pubs\/tpaxos.pdf","DOI":"10.1007\/978-3-642-17653-1_19"},{"issue":"2","key":"19_CR14","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10009-008-0097-7","volume":"11","author":"C. Georgiou","year":"2009","unstructured":"Georgiou, C., Lynch, N., Mavrommatis, P., Tauber, J.A.: Automated implementation of complex distributed algorithms specified in the IOA language. Journal of Software Tools for Technology Transfer\u00a011(2), 153\u2013171 (2009)","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"19_CR15","unstructured":"Georgiou, C., Mavrommatis, P., Tauber, J.A.: Implementing asynchronous distributed systems using the IOA toolkit. Technical Report MIT\/LCS\/TR-966 (2004)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Georgiou, C., Musial, P.M., Shvartsman, A.A., Sonderegger, E.L.: An abstract channel specification and an algorithm implementing it using Java sockets. In: Proceedings of the 7th IEEE International Symposium on Network Computing and Applications (NCA 2008), pp. 211\u2013219 (2008)","DOI":"10.1109\/NCA.2008.12"},{"key":"19_CR17","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall International, UK (1985)"},{"key":"19_CR18","unstructured":"Immorlica, N., Win, T.: A Case Study: Proving Paxos with the IOA Toolkit (2002) (manuscript)"},{"key":"19_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01794-0","volume-title":"The Theory of Timed I\/O Automata (Synthesis Lectures in Computer Science)","author":"D. Kaynar","year":"2006","unstructured":"Kaynar, D., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata (Synthesis Lectures in Computer Science). Morgan & Claypool Publishers, San Francisco (2006)"},{"issue":"3","key":"19_CR20","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"19_CR21","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L. Lamport","year":"1998","unstructured":"Lamport, L.: The part-time parliament. ACM Transactions on Computer Systems\u00a016(2), 133\u2013169 (1998)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"1\/2","key":"19_CR22","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. Larsen","year":"1997","unstructured":"Larsen, K., Pettersson, P.: Uppaal in a nutshell. Journal of Software Tools for Technology Transfer\u00a01(1\/2), 134\u2013152 (1997)","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"19_CR23","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Lynch, N., Michel, L., Shvartsman, A.: Tempo: A toolkit for the timed Input\/Output automata formalism. In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks, and Systems, SIMUTools 2008 (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3105"},{"key":"19_CR25","unstructured":"Lynch, N., Shvartsman, A.: Paxos made even simpler, and formal (2002) (manuscript)"},{"issue":"1","key":"19_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1996.0060","volume":"128","author":"N. Lynch","year":"1996","unstructured":"Lynch, N., Vaandrager, F.: Forward and backward simulations \u2013 Part II: Timing-based systems. Information and Computation\u00a0128(1), 1\u201325 (1996)","journal-title":"Information and Computation"},{"issue":"3","key":"19_CR27","first-page":"219","volume":"2","author":"N. Lynch","year":"1989","unstructured":"Lynch, N., Tuttle, M.: An introduction to Input\/Output Automata. CWI-Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI-Quarterly"},{"key":"19_CR28","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall International, UK (1989)"},{"key":"19_CR29","unstructured":"Musial, P.M.: From High Level Specification to Executable Code: Specification, Refinement, and Implementation of a Survivable and Consistent Data Service for Dynamic Networks. PhD thesis, Dept. of Computer Science and Engineering, University of Connecticut (2007)"},{"key":"19_CR30","unstructured":"Tauber, J.A.: Verifiable Compilation of I\/O Automata without Global Synchronization. PhD thesis, Dept. of Electrical Engineering and Computer Science, M.I.T. (2005)"},{"key":"19_CR31","unstructured":"Win, T.N.: Theorem-proving distributed algorithms with dynamic analysis. Master\u2019s thesis, Dept. of Electrical Engineering and Computer Science, M.I.T. (2003)"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17653-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T11:18:07Z","timestamp":1685877487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17653-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642176524","9783642176531"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17653-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}