{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:33:02Z","timestamp":1742920382113,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":54,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106180"},{"type":"electronic","value":"9783642679780"}],"license":[{"start":{"date-parts":[[1981,1,1]],"date-time":"1981-01-01T00:00:00Z","timestamp":347155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1981,1,1]],"date-time":"1981-01-01T00:00:00Z","timestamp":347155200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-67978-0_24","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T19:45:29Z","timestamp":1322941529000},"page":"406-428","source":"Crossref","is-referenced-by-count":6,"title":["Formal Modeling of Communication Protocols"],"prefix":"10.1007","author":[{"given":"Carl A.","family":"Sunshine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"and B","author":"P Azema","year":"1978","unstructured":"P. Azema, J. M. Ayache, and B. Berthomieu, \u201cDesign and Verification of Communication Procedures: A Bottom-Up Approach,\u201d Proc. Third Int. Conf. on Software Engineering, 1978."},{"key":"24_CR2","unstructured":"S. Alfonzetti, S. Casale, A. Faro, \u201cA Formal Description of the DTE Packet Level in the X.25 Recommendation,\u201d Alta Frequenza 48, 8, August 1979, pp. 339 E-513\u2013340E-514."},{"key":"24_CR3","volume-title":"\u201cThe Certification of Data Communication Protocols,\u201d Proc","author":"K Bartlett","year":"1980","unstructured":"K. Bartlett and D. Rayner, \u201cThe Certification of Data Communication Protocols,\u201d Proc. Trends & Applications Symp., National Bureau of Standards (USA), May 1980."},{"key":"24_CR4","first-page":"35","volume-title":"Proving Liveness Properties of Communication Protocols in AFFIRM","author":"B Berthomieu","year":"1980","unstructured":"B. Berthomieu, Proving Liveness Properties of Communication Protocols in AFFIRM, Univ. Southern California Information Sciences Institute, AFFIRM Memo 35, September 1980."},{"key":"24_CR5","unstructured":"G. V. Bochmann, \u201cLogical verification and implementation of protocols,\u201d Proc. 4th Data Comm. Symp., Quebec, 1975, pp. 8\u201315 to 8\u201320."},{"key":"24_CR6","unstructured":"G. V. Bochmann and R. J. Chung, \u201cA Formalized Specification of HDLC Classes of procedures,\u201d Proc. National Telecomm. Conf., Los Angeles, December 1977, paper 3A.2."},{"issue":"\/5","key":"24_CR7","first-page":"361","volume":"4","author":"GV Bochmann","year":"1978","unstructured":"G. V. Bochmann, \u201cFinite State Description of Communication Protocols,\u201d Computer Networks 2, 4\/5, October 1978, pp. 361\u2013372.","journal-title":"Computer Networks 2"},{"key":"24_CR8","volume-title":"Formalized Specification of the MLP, Specification of the Services Provided by the MLP, and An Analysis of the MLP, Univ","author":"GV Bochmann","year":"1979","unstructured":"G. V. Bochmann, Formalized Specification of the MLP, Specification of the Services Provided by the MLP, and An Analysis of the MLP, Univ. Montreal, Dept. d\u2019I.R.O., June 1979."},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1109\/TCOM.1980.1094696","volume":"4","author":"GV Bochmann","year":"1980","unstructured":"G. V. Bochmann, \u201cA General Transition Model for Protocols and Communication Services,\u201d IEEE Trans. on Communications COM-28, 4, April 1980, pp. 643\u2013650.","journal-title":"IEEE Trans. on Communications COM-28"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","volume":"4","author":"GV Bochmann","year":"1980","unstructured":"G. V. Bochmann and C. A. Sunshine, \u201cFormal Methods in Communication Protocol Design,\u201d IEEE Trans. on Communications COM-28, 4, April 1980, pp. 624\u2013631.","journal-title":"IEEE Trans. on Communications COM-28"},{"key":"24_CR11","unstructured":"J. Bremer and O. Drobnik, A New Approach to Protocol Design and Validation, IBM Research Report RC 8018, December 1979."},{"issue":"\/5","key":"24_CR12","first-page":"351","volume":"4","author":"D Brand","year":"1978","unstructured":"D. Brand and W. H. Joyner, Jr., \u201cVerification of Protocols Using Symbolic Execution,\u201d Computer Networks 2, 4\/5, October 1978, pp. 351\u2013360.","journal-title":"Jr., \u201cVerification of Protocols Using Symbolic Execution,\u201d Computer Networks 2"},{"key":"24_CR13","unstructured":"D. Brand and W. H. Joyner, Jr., Verification of HDLC, IBM Research Report RC 7779, July 1979."},{"key":"24_CR14","volume-title":"\u201cSynthesis of Protocols for an Unlimited Number of Processes,\u201d Proc","author":"D Brand","year":"1980","unstructured":"D. Brand and P. Zafiropulo, \u201cSynthesis of Protocols for an Unlimited Number of Processes,\u201d Proc. Trends & Applications Symp., National Bureau of Standards (USA), May 1980."},{"key":"24_CR15","volume-title":"Los Angeles","author":"S Crocker","year":"1977","unstructured":"S. Crocker, State Deltas: A Formalism for Representing Segments of Computation, Ph.D. thesis, University of California, Los Angeles, 1977."},{"issue":"\/5","key":"24_CR16","first-page":"381","volume":"4","author":"A Danthine","year":"1978","unstructured":"A. Danthine and J. Bremer, \u201cModelling and Verification of End-to-End Transport Protocols,\u201d Computer Networks 2, 4\/5, October 1978, pp. 381\u2013395.","journal-title":"Computer Networks 2"},{"key":"24_CR17","first-page":"2","volume":"14","author":"GJ Dickson","year":"1980","unstructured":"G. J. Dickson, \u201cFormal Specification Technique for Data Communication Protocol X.25 Using Processing State Transition Diagrams,\u201d Australian Telecommunication Research 14, 2, 1980.","journal-title":"Australian Telecommunication Research"},{"key":"24_CR18","unstructured":"L. Flon and J. Misra, \u201cA Unified Approach to the Specification and Verification of Abstract Data Types,\u201d Proc. Conf. on Specifcation of Reliable Software, 1979, pp. 162\u2013169."},{"key":"24_CR19","first-page":"343","volume-title":"\u201cAn Overview of AFFIRM: A Specification and Verification System,\u201d Proc","author":"SL Gerhart","year":"1980","unstructured":"S. L. Gerhart et al, \u201cAn Overview of AFFIRM: A Specification and Verification System,\u201d Proc. IFIP Congress, October 1980, pp. 343\u2013348."},{"key":"24_CR20","first-page":"28","volume-title":"\u201cVerifiable Communications Processing in Gypsy,\u201d Proc. 17th IEEE Coimputer Society Int. Conf","author":"D Good","year":"1978","unstructured":"D. Good and R. M. Cohen, \u201cVerifiable Communications Processing in Gypsy,\u201d Proc. 17th IEEE Coimputer Society Int. Conf. (COMPCON), September 1978, pp. 28\u201335."},{"key":"24_CR21","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"12","author":"JV Guttag","year":"1978","unstructured":"J. V. Guttag, E. Horowitz, and D. R. Musser, \u201cAbstract Data Types and Software Validation,\u201d Comm. ACM 21, 12, December 1978, pp. 1048\u20131064.","journal-title":"Comm.ACM 21"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"J. Guttag, \u201cNotes on Type abstraction,\u201d Proc. Conf. on Specification of Reliable Software, 1979, pp. 36\u201346.","DOI":"10.1007\/BFb0014684"},{"key":"24_CR23","first-page":"749","volume-title":"\u201cAutomatically Verified Data Transfer Protocols,\u201d Proc. 4th Int","author":"J Hajek","year":"1978","unstructured":"J. Hajek, \u201cAutomatically Verified Data Transfer Protocols,\u201d Proc. 4th Int. Computer Communication Conf., Kyoto, September 1978, pp. 749\u2013756."},{"key":"24_CR24","volume-title":"\u201cVerifying Network Protocols Using Temporal Logic,\u201d Proc","author":"B Hailpern","year":"1980","unstructured":"B. Hailpern and S. Owicki, \u201cVerifying Network Protocols Using Temporal Logic,\u201d Proc. Trends & Applications Symp., National Bureau of Standards (USA), May 1980."},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"J. Harangozo, \u201cAn Approach to Describing a Link Level Protocol with a Formal Language,\u201d Proc. 5th Data Communication Symp, Snowbird, Utah, 1977, pp. 4\u201337 to 4\u201349.","DOI":"10.1145\/800103.803341"},{"key":"24_CR26","doi-asserted-by":"crossref","unstructured":"R. M. Keller, \u201cFormal Verification of Parallel Programs,\u201d Comm. ACM 19, 7, July 1976, pp. 371\u2013384.","DOI":"10.1145\/360248.360251"},{"key":"24_CR27","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/BF01932022","volume":"18","author":"S Krogdahl","year":"1978","unstructured":"S. Krogdahl, \u201cVerification of a Class of Link-Level Protocols,\u201d BIT 18, 1978, pp. 436\u2013448.","journal-title":"BIT"},{"key":"24_CR28","first-page":"153","volume-title":"\u201cA Theory of Colloquies,\u201d Alta Frequenza 42,10,1973, pp. 493-223E to 500-230E; and Proc","author":"G Le Moli","year":"1973","unstructured":"G. LeMoli, \u201cA Theory of Colloquies,\u201d Alta Frequenza 42,10,1973, pp. 493\u2013223E to 500\u2013230E; and Proc. First European Workshop on Computer Networks, Arles, April 1973, pp. 153\u2013173."},{"key":"24_CR29","unstructured":"R. Locasso et al, The Ina Jo Specification Language Reference Manual, System Development Corp. TM-(L)-6021\/001\/00, June 1980."},{"key":"24_CR30","volume-title":"Stanford University Artificial Intelligence Laboratory","author":"DC Luckham","year":"1979","unstructured":"D. C. Luckham and R. A. Karp, An axiomatic Semantics of Concurrent Cyclic Processes, Stanford University Artificial Intelligence Laboratory, April 1979."},{"key":"24_CR31","doi-asserted-by":"crossref","unstructured":"P. M. Merlin, \u201cSpecification and Validation of Protocols\u201d, IEEE Trans. on Comm. COM-27, 11, November 1979, pp. 1671\u20131680.","DOI":"10.1109\/TCOM.1979.1094323"},{"key":"24_CR32","unstructured":"P. Merlin and G. V. Bochmann, \u201cOn the Construction of Communication Protocols,\u201d Proc. Int. Conf. on Computer Communication, Atlanta, October 1980, pp. 371\u2013378."},{"key":"24_CR33","doi-asserted-by":"crossref","unstructured":"P. M. Merlin and D. J. Farber, \u201cRecoverability of Communication Protocols - Implications of a Theoretical Study,\u201d IEEE Trans. on Comm., September 1976, pp. 1036\u20131043.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"24_CR34","unstructured":"W. Overman, Parallel State Deltas--The Current Model, and Alternating Bit Protocol Verification, Univ. Southern California, Information Sciences Institute, November 1980."},{"key":"24_CR35","doi-asserted-by":"crossref","unstructured":"D. L. Parnas, \u201cA Technique for Software Module Specification with Examples,\u201d Comm. ACM 15, 5, May 1972, pp. 330\u2013336.","DOI":"10.1145\/355602.361309"},{"key":"24_CR36","unstructured":"T. Piatkowski, \u201cRemarks on ADCCP Validation and Testing Techniques,\u201d Proc Trends. & Applications Symp., National Bureau of Standards (USA), May 1980."},{"key":"24_CR37","volume-title":"A Graph Model Analysis of Computer Communications Protocols, Ph.D. thesis","author":"JB Postel","year":"1974","unstructured":"J. B. Postel, A Graph Model Analysis of Computer Communications Protocols, Ph.D. thesis, University of California, Los Angeles, 1974."},{"key":"24_CR38","volume-title":"\u201cValidation of the X.21 Interface Specification Using Sara,\u201d Proc","author":"R Razouk","year":"1980","unstructured":"R. Razouk and G. Estrin, \u201cValidation of the X.21 Interface Specification Using Sara,\u201d Proc. Trends & Applications Symp., National Bureau of Standards (USA), May 1980."},{"key":"24_CR39","unstructured":"L. Robinson, K. N. Levitt, and B. A. Silverberg, \u201cThe HDM Handbook,\u201d Vol. I-III, SRI International, 1979."},{"key":"24_CR40","unstructured":"S. Schindler, \u201cAlgebraic and Model Specification Techniques,\u201d Proc. 13th Hawaii Int. Conf. on System Sciences, January 1980."},{"key":"24_CR41","first-page":"661","volume":"4","author":"GD Schultz","year":"1980","unstructured":"G. D. Schultz et al, \u201cExecutable Description and Validation of SNA,\u201d IEEE Trans. on Communications COM-28, 4, April 1980, pp. 661\u2013677.","journal-title":"Communications COM-28"},{"key":"24_CR42","volume-title":"Temporal Logic Specification of Distributed Systems","author":"RL Schwartz","year":"1980","unstructured":"R. L. Schwartz and P. M. Melliar-Smitn, Temporal Logic Specification of Distributed Systems, Computer Science Laboratory, SRI International, August 1980."},{"key":"24_CR43","unstructured":"System Development Corp., \u201cProtocol Specification Technique,\u201d in Formal Description Techniques for Network Protocols, Report No. ICST\/HLNP 80\u20133, National Bureau of Standards (USA), June 1980."},{"key":"24_CR44","volume-title":"Proc. Computer Networking Symp.","author":"S Schindler","year":"1980","unstructured":"S. Schindler, U. Flasche, D. Altenkruger, \u201cThe OSA Project: Formal Specification of the ISO Transport Service,\u201d Proc. Computer Networking Symp., National Bureau of Standards (USA), December 1980."},{"issue":"2","key":"24_CR45","first-page":"99","volume":"1","author":"NV Stenning","year":"1976","unstructured":"N. V. Stenning, \u201cA Data Transfer Protocol,\u201d Computer Networks 1, 2, September 1976, pp. 99\u2013110.","journal-title":"Computer Networks"},{"issue":"6","key":"24_CR46","first-page":"454","volume":"2","author":"CA Sunshine","year":"1978","unstructured":"C. A. Sunshine and Y. K. Dalai, \u201cConnection Management in Transport Protocols,\u201d Computer Networks 2, 6, December 1978, pp. 454\u2013473.","journal-title":"Computer Networks"},{"key":"24_CR47","unstructured":"C. A. Sunshine, Formal Methods for Communication Protocol Specification and Verification, N-1429, The Rand Corporation, November 1979."},{"key":"24_CR48","unstructured":"F. J. W. Symons, Representation, Analysis, and Verification of Communication Protocols, Telecom Australia Reserach Labs Report No. 7380, 1980."},{"key":"24_CR49","first-page":"114","volume-title":"\u201cA Formal Model for Automatic Implementation and Logical Validation of Network Communication Protocols,\u201d Proc","author":"AY Teng","year":"1978","unstructured":"A. Y. Teng and M. T. Liu, \u201cA Formal Model for Automatic Implementation and Logical Validation of Network Communication Protocols,\u201d Proc. Computer Networking Symp., National Bureau of Standards (USA), December 1978, pp. 114\u2013123."},{"key":"24_CR50","unstructured":"R. Tenney, \u201cSpecification Technique,\u201d in Formal Description Techniques for Network Protocols, Report No. ICST\/HLNP 80\u20133, National Bureau of Standards (USA), June 1980."},{"key":"24_CR51","volume-title":"Interaction Primitives in Formal Specification of Distributed Systems","author":"J Vytopil","year":"1980","unstructured":"J. Vytopil and C. Vissers, Interaction Primitives in Formal Specification of Distributed Systems, Twente University, The Netherlands, June 1980."},{"key":"24_CR52","first-page":"4","volume":"22","author":"CH West","year":"1978","unstructured":"C. H. West, \u201cGeneral Technique for Communication Protocol Validation,\u201d IBM Journal of Research and Development 22, 4, July 1978.","journal-title":"IBM Journal of Research and Development"},{"issue":"1","key":"24_CR53","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1147\/rd.221.0060","volume":"22","author":"CH West","year":"1978","unstructured":"C. H. West and P. Zafiropulo, \u201cAutomated Validation of a Communications Protocol: The CCITT X.21 Recommendations,\u201d IBM J. of Research and Development 22, 1, January 1978, pp. 60\u201371.","journal-title":"IBM J. of Research and Development"},{"key":"24_CR54","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"4","author":"P Zafiropulo","year":"1980","unstructured":"P Zafiropulo et al, \u201cTowards Analyzing and Synthesizing Protocols,\u201d IEEE Trans. on Communications COM-28, 4, April 1980, pp. 651\u2013661.","journal-title":"IEEE Trans. on Communications COM-28"}],"container-title":["Informatik-Fachberichte","Kommunikation in verteilten Systemen"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67978-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T20:36:10Z","timestamp":1741984570000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-67978-0_24"}},"subtitle":["State of the Art, October 1980"],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106180","9783642679780"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67978-0_24","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}