{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:15Z","timestamp":1725663135136},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540116042"},{"type":"electronic","value":"9783540394242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11604-4_62","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:46:39Z","timestamp":1330173999000},"page":"369-389","source":"Crossref","is-referenced-by-count":1,"title":["On the progress of communication between two machines"],"prefix":"10.1007","author":[{"given":"M. G.","family":"Gouda","sequence":"first","affiliation":[]},{"given":"E. G.","family":"Manning","sequence":"additional","affiliation":[]},{"given":"Y. T.","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"18_CR1","first-page":"361","volume":"2","author":"G. V. Bochmann","year":"1978","unstructured":"G. V. Bochmann, \"Finite state description of communication protocols,\" Computer Networks, Vol. 2, 1978, pp. 361\u2013371.","journal-title":"Computer Networks"},{"key":"18_CR2","unstructured":"D. Brand and P. Zafiropulo, \"On communication finite-state machines,\" IBM Research Report, RZ1053(#37725), Jan. 1981."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"P. R. Cunha and T. S. Maibaum, \"A synchronization calculus for message oriented programming,\" Res. Rep. CS-80-43, Dept. of Comp. Sc., Univ. of Waterloo, Sep. 1980.","DOI":"10.1007\/3-540-09981-6_6"},{"issue":"4","key":"18_CR4","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1109\/TCOM.1980.1094686","volume":"COM-28","author":"A. Danthine","year":"1980","unstructured":"A. Danthine, \"Protocol representation with finite state models,\" IEEE Trans. Comm., Vol. COM-28, No. 4, April 1980, pp. 632\u2013643.","journal-title":"IEEE Trans. Comm."},{"key":"18_CR5","volume-title":"Computers and interactability, a guide to the theory of NP-completeness","author":"M. R. Garey","year":"1979","unstructured":"M. R. Garey and D. S. Johnson, Computers and interactability, a guide to the theory of NP-completeness, W. H. Freeman and Company, San Francisco, 1979."},{"key":"18_CR6","unstructured":"M. G. Gouda and Y. T. Yu, \"Designing deadlock-free and bounded communication protocols,\" Tech. Rep. 179, Dept. of Comp. Sc., Univ. of Texas at Austin, June 1981. submitted to IEEE Trans. on Comm.."},{"key":"18_CR7","unstructured":"Z. Manna, Mathematical theory of computation, McGraw-Hill Book company, 1974."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"C. A. Sunshine, \"Formal modeling of communication protocols,\" USC\/Inform. Sc. Institute, Res. Rep. 81\u201389, March 1981.","DOI":"10.1007\/978-3-642-67978-0_24"},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"1271","DOI":"10.1109\/TCOM.1978.1094201","volume":"COM-26","author":"C. H. West","year":"1978","unstructured":"C. H. West, \"An automated technique of communication protocol validation,\" IEEE Trans. Comm., Vol. COM-26, pp. 1271\u20131275, Aug. 1978.","journal-title":"IEEE Trans. Comm."},{"key":"18_CR10","unstructured":"Y. T. Yu and M. G. Gouda, \"Deadlock-detection for a class of communicating finite state machines,\" Tech. Rep. 193, Dept. of Computer Sciences, Univ. of Texas at Austin, Feb. 1982. Submitted to IEEE Trans. on Comm.."},{"issue":"4","key":"18_CR11","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"COM-28","author":"P. Zafiropulo","year":"1980","unstructured":"P. Zafiropulo, et al., \"Towards analyzing and synthesizing protocols,\" IEEE Trans. Comm., Vol. COM-28, No. 4, April 1980, pp. 651\u2013661.","journal-title":"IEEE Trans. Comm."}],"container-title":["Lecture Notes in Computer Science","Operating Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11604-4_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:05:09Z","timestamp":1605625509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11604-4_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540116042","9783540394242"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-11604-4_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}