{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T06:46:23Z","timestamp":1778654783176,"version":"3.51.4"},"reference-count":18,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1978,7,1]],"date-time":"1978-07-01T00:00:00Z","timestamp":268099200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGCOMM Comput. Commun. Rev."],"published-print":{"date-parts":[[1978,7]]},"DOI":"10.1145\/1015850.1015853","type":"journal-article","created":{"date-parts":[[2004,10,12]],"date-time":"2004-10-12T13:44:32Z","timestamp":1097588672000},"page":"35-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Survey of protocol definition and verification techniques"],"prefix":"10.1145","volume":"8","author":[{"given":"Carl A.","family":"Sunshine","sequence":"first","affiliation":[{"name":"The Rand Corporation, Santa Monica, California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1978,7]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"15","volume-title":"Proceedings of the Fourth Data Communications Symp.","author":"Bochmann G. V.","year":"1975"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings.","author":"Bochmann G. V."},{"key":"e_1_2_1_3_1","first-page":"1","volume-title":"Proc. National Telecommunications Conf.","author":"Bochmann G. V.","year":"1977"},{"key":"e_1_2_1_4_1","first-page":"229","volume-title":"Proc. of IFIP Congress","author":"Bochmann G. V.","year":"1977"},{"key":"e_1_2_1_5_1","unstructured":"Brand D. and Joyner W. H. Verification of Protocols Using Symbolic Execution this Proceedings.  Brand D. and Joyner W. H. Verification of Protocols Using Symbolic Execution this Proceedings."},{"key":"e_1_2_1_6_1","first-page":"259","volume-title":"Professional Conference on Computer Networks and Teleprocessing","author":"Danthine A.","year":"1976"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings.","author":"Danthine A."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005882.1005885"},{"key":"e_1_2_1_9_1","first-page":"256","volume-title":"Proc. 2nd Int. Conf. on Software Engineering","author":"Gouda G.","year":"1976"},{"key":"e_1_2_1_10_1","unstructured":"Hajek Jan Automatically Verified Data Transfer Protocols Eindhoven University of Technology Eindhoven The Netherlands November 1977.  Hajek Jan Automatically Verified Data Transfer Protocols Eindhoven University of Technology Eindhoven The Netherlands November 1977."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings.","author":"Harangozo J."},{"key":"e_1_2_1_12_1","author":"LeLann G.","journal-title":"Journal."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093347"},{"key":"e_1_2_1_14_1","first-page":"66","volume-title":"Proc. 5th Texas Conf. on Computing Systems","author":"Postel J. B.","year":"1976"},{"key":"e_1_2_1_15_1","unstructured":"Rudin H. West C. H. and Zafiropulo P. Automated Protocol Validation: One Chain of Development this Proceedings.  Rudin H. West C. H. and Zafiropulo P. Automated Protocol Validation: One Chain of Development this Proceedings."},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Stenning N. V. A Data Transfer Protocol Computer Networks Vol. 1 No. 2 September 1976. (North Holland)  Stenning N. V. A Data Transfer Protocol Computer Networks Vol. 1 No. 2 September 1976. (North Holland)","DOI":"10.1016\/0376-5075(76)90015-5"},{"key":"e_1_2_1_17_1","volume-title":"Proc. National Telecommunications Conf.","author":"Sundstrom R. J.","year":"1977"},{"key":"e_1_2_1_18_1","first-page":"24","volume-title":"Proc. Symp. Computer Networks, NBS","author":"Sunshine C. A.","year":"1976"}],"container-title":["ACM SIGCOMM Computer Communication Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1015850.1015853","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1015850.1015853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:18Z","timestamp":1750264278000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1015850.1015853"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,7]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1978,7]]}},"alternative-id":["10.1145\/1015850.1015853"],"URL":"https:\/\/doi.org\/10.1145\/1015850.1015853","relation":{},"ISSN":["0146-4833"],"issn-type":[{"value":"0146-4833","type":"print"}],"subject":[],"published":{"date-parts":[[1978,7]]},"assertion":[{"value":"1978-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}