{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:17Z","timestamp":1725485537950},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_24","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:43:21Z","timestamp":1180651401000},"page":"364-368","source":"Crossref","is-referenced-by-count":4,"title":["Mechanical Translation of I\/O Automaton Specifications into First-Order Logic"],"prefix":"10.1007","author":[{"given":"Andrej","family":"Bogdanov","sequence":"first","affiliation":[]},{"given":"Stephen J.","family":"Garland","sequence":"additional","affiliation":[]},{"given":"Nancy A.","family":"Lynch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"24_CR1","unstructured":"Andrej Bogdanov. Formal verification of simulations between I\/O automata. Master of engineering thesis, Massachusetts Institute of Technology, 2001. http:\/\/theory.lcs.mit.edu\/\u223cadib\/thesis ."},{"key":"24_CR2","unstructured":"Marco Devillers. Translating I\/O automata to PVS. Preliminary report, Computing Science Institute, University of Nijmengen, 1999."},{"key":"24_CR3","unstructured":"Stephen J. Garland and Nancy A. Lynch. Using I\/O automata for developing distributed systems. In Gary T. Leavens and Murali Sitaraman, editors, Foundations of Component-Based Systems, pages 285\u2013312. Cambridge University Press, 2000."},{"key":"24_CR4","unstructured":"Stephen J. Garland, Nancy A. Lynch, and Mandana Vaziri. IOA: a language for specifying, programming, and validating distributed systems. MIT Laboratory for Computer Science, 1997 (revised January, 2001)."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"David Gries. The Science of Programming. Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"issue":"7","key":"24_CR6","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. A. Lamport","year":"1978","unstructured":"Leslie A. Lamport. Time, clocks and the ordering of events in a distributed system. Communications of the ACM, 21(7):558\u2013565, July 1978.","journal-title":"Communications of the ACM"},{"key":"24_CR7","unstructured":"Chris Luhrs. Distributed spanning tree algorithms coded in IOA: Challenge problems for software analysis and synthesis methods. Technical Note, 2001."},{"key":"24_CR8","unstructured":"Nancy A. Lynch. Distributed Algorithms. Morgan Kaufman Pubishers Inc., 1996."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Nancy A. Lynch and Mark Tuttle. Hierarchical correctness proofs for distributed algorithms. Technical Report MIT\/LCS\/TR-387, MIT Laboratory for Computer Science, 1987.","DOI":"10.1145\/41840.41852"},{"issue":"2","key":"24_CR10","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N. A. Lynch","year":"1995","unstructured":"Nancy A. Lynch and Frits Vaandrager. Forward and backward simulations-part I: Untimed systems. Information and Computation, 121(2):214\u2013233, September 1995.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:17:50Z","timestamp":1556450270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}