{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:40Z","timestamp":1725662980816},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540138839"},{"type":"electronic","value":"9783540390879"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13883-8_69","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:08:54Z","timestamp":1330193334000},"page":"136-151","source":"Crossref","is-referenced-by-count":0,"title":["On the existence and construction of robust communication protocols for unreliable channels"],"prefix":"10.1007","author":[{"given":"Saumya K.","family":"Debray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ariel J.","family":"Frank","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"A. V. Aho, J. D. Ullman and M. Yannakakis, \u201cModeling Communications Protocols by Automata\u201d, 20th Annual Symp. on Foundations of Computer Science, San Juan, Puerto Rico, Oct. 1979.","DOI":"10.1109\/SFCS.1979.23"},{"issue":"3","key":"9_CR2","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0898-1221(82)90043-8","volume":"8","author":"A. V. Aho","year":"1982","unstructured":"A. V. Aho, A. D. Wyner, M. Yannakakis and J. D. Ullman, \u201cBounds on the Size and Transmission Rate of Communications Protocols\u201d, Comp. & Maths. with Appls., 8, 3 (1982), 205\u2013214, Pergamon Press Ltd.","journal-title":"Comp. & Maths. with Appls."},{"key":"9_CR3","unstructured":"A. Aho, in Personal Communication, June 1984."},{"issue":"4","key":"9_CR4","first-page":"643","volume":"COM-28","author":"G. V. Bochmann","year":"1980","unstructured":"G. V. Bochmann, \u201cA General Transition Model for Protocols and Communication Services\u201d, IEEE Trans. on Computers, COM-28, 4 (Apr. 1980), 643\u2013650.","journal-title":"IEEE Trans. on Computers"},{"issue":"4","key":"9_CR5","first-page":"624","volume":"COM-28","author":"G. V. Bochmann","year":"1980","unstructured":"G. V. Bochmann and C. A. Sunshine, \u201cFormal Methods in Communication Protocol Design\u201d, IEEE Trans. on Computers, COM-28, 4 (Apr. 1980), 624\u2013631.","journal-title":"IEEE Trans. on Computers"},{"issue":"4","key":"9_CR6","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1109\/TCOM.1980.1094686","volume":"COM-28","author":"A. A. S. Danthine","year":"1980","unstructured":"A. A. S. Danthine, \u201cProtocol Representation with Finite-State Models\u201d, IEEE Trans. on Communications, COM-28, 4 (April 1980), 632\u2013643. Reprinted in \u201cCommunication Protocol Modeling\u201d, ed. C. A. Sunshine, Artech House, Dedham, Mass., 1981.","journal-title":"IEEE Trans. on Communications"},{"key":"9_CR7","unstructured":"A. J. Frank, Modeling Communication Protocols by Synchronous\/ Asynchronous Automata, Dept. of Computer Science, SUNY at Stony Brook, Feb. 1984. Unpublished Manuscript."},{"key":"9_CR8","unstructured":"A. G. Fraser, \u201cDatakit \u2014 A Modular Network for Synchronous and Asynchronous Traffic\u201d, Proc. IEEE Int. Conf. on Communications, Boston, June 1979."},{"key":"9_CR9","unstructured":"B. T. Hailpern, \u201cA Simple Protocol Whose Proof Isn't\u201d, IBM Research Report RC8800(#38567), IBM Thomas J. Watson Research Center, Apr. 1981."},{"key":"9_CR10","unstructured":"J. Harangozo, \u201cAn Approach to Describing a Link-Level Protocol with a Formal Language\u201d, in Proc. 5th. Data Communication Symp., Snowbird, Utah, Sept. 77. Reprinted in \u201cCommunication Protocol Modeling\u201d, ed. C. A. Sunshine, Artech House, Dedham, Mass., 1981."},{"issue":"2","key":"9_CR11","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/2993.2994","volume":"6","author":"L. Lamport","year":"1984","unstructured":"L. Lamport, \u201cUsing Time instead of Timeout for Fault-Tolerant Distributed Systems\u201d, ACM Trans. Prog. Lang. and Systems, 6, 2 (Apr. 1984), 254\u2013280.","journal-title":"ACM Trans. Prog. Lang. and Systems"},{"key":"9_CR12","volume-title":"Lecture Notes in Computer Science, 92","author":"R. Milner","year":"1980","unstructured":"R. Milner, \u201cA Calculus of Communicating Systems\u201d, in Lecture Notes in Computer Science, 92, Springer Verlag, New York, 1980."},{"key":"9_CR13","volume-title":"Reachability Problems for Communicating Finite State Machines","author":"J. K. Pachl","year":"1982","unstructured":"J. K. Pachl, \u201cReachability Problems for Communicating Finite State Machines\u201d, CS-82-12, Dept. of Computer Science, Univ. of Waterloo, Waterloo, Ontario, Canada, May 1982."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"F. B. Schneider, \u201cSynchronization in Distributed Programs\u201d, ACM Trans. Prog. Lang. and Systems, April 1982, 1\u201324.","DOI":"10.1145\/357162.357163"},{"key":"9_CR15","unstructured":"S. A. Smolka, A. J. Frank and S. K. Debray, \u201cProving Protocol Robustness the CCS Way\u201d, Technical Report #84\/071, Dept. of Computer Science, SUNY at Stony Brook, April 1984. Proc. 4th. International Workshop on Protocol Specification, Testing and Verification, Mt. Pocono, PA, June 1984."},{"issue":"9","key":"9_CR16","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MC.1979.1658889","volume":"12","author":"C. A. Sunshine","year":"1979","unstructured":"C. A. Sunshine, \u201cFormal Techniques for Protocol Specification and Verification\u201d, Computer, 12 9 (Sep. 1979), 20\u201327.","journal-title":"Computer"},{"issue":"4","key":"9_CR17","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"COM-28","author":"P. Zafiropulo","year":"1980","unstructured":"P. Zafiropulo, C. H. West, H. Rudin, D. D. Cowan and D. Brand, \u201cTowards Analyzing and Synthesizing Protocols\u201d, IEEE Trans. Commun., COM-28, 4 (April 1980), 651\u2013661.","journal-title":"IEEE Trans. Commun."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13883-8_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:44Z","timestamp":1619556884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13883-8_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540138839","9783540390879"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-13883-8_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}