{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:43:02Z","timestamp":1694626982071},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[1985,3,1]],"date-time":"1985-03-01T00:00:00Z","timestamp":478483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Commun. Mag."],"published-print":{"date-parts":[[1985,3]]},"DOI":"10.1109\/mcom.1985.1092527","type":"journal-article","created":{"date-parts":[[2004,4,29]],"date-time":"2004-04-29T00:28:59Z","timestamp":1083198539000},"page":"46-52","source":"Crossref","is-referenced-by-count":19,"title":["An informal overview of formal protocol specification"],"prefix":"10.1109","volume":"23","author":[{"given":"H.","family":"Rudin","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref39","year":"1982","journal-title":"Proc 2nd Int Workshop Protocol Specification Testing Verification"},{"key":"ref38","article-title":"Protocol Testing?Towards Proof?","volume":"1","year":"1981","journal-title":"INWG\/NPL Workshop"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"1331","DOI":"10.1109\/PROC.1983.12774","volume":"71","year":"1983","journal-title":"Proceed\ufffdngs of the IEEE on OSI"},{"key":"ref31","article-title":"On the analysis of time-constrained protocols by network flow algorithms","author":"bolognesi","year":"1984","journal-title":"Proc 2nd Int Workshop Protocol Specification Testing Verification"},{"key":"ref15a","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094687"},{"key":"ref30","first-page":"1323","article-title":"Progress in testing protocol implementations","author":"rayner","year":"1983","journal-title":"Proceedings of the International Conference on Communications"},{"key":"ref15b","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6698-4_24"},{"key":"ref37","first-page":"1328","article-title":"Protocol engineering","author":"piatkowski","year":"1983","journal-title":"Proceedings of the International Conference on Communications"},{"key":"ref36","first-page":"1296","article-title":"Status of the ISO ad hoc Subgroup ? on Formal Description Techniques","author":"tenney","year":"1983","journal-title":"Proceedings of the International Conference on Communications"},{"key":"ref35","first-page":"1291","article-title":"The ICC83 Communications Protocol Session: an overview","author":"rudin","year":"1983","journal-title":"Proceedings of the International Conference on Communications"},{"key":"ref34","year":"1981","journal-title":"Communication Protocol Modeling"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","author":"milner","year":"1980","journal-title":"Lecture Notes in Computer Science"},{"key":"ref40","year":"1983","journal-title":"Proc 2nd Int Workshop Protocol Specification Testing Verification"},{"key":"ref11","article-title":"A specification of the OSI Transport service in LOTOS","author":"brinksma","year":"1984","journal-title":"Proc 2nd Int Workshop Protocol Specification Testing Verification"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(82)90112-X"},{"key":"ref13","first-page":"1301","article-title":"Status of using Petri nets for protocols","author":"diaz","year":"1983","journal-title":"Proceedings of the International Conference on Communications"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref16","first-page":"919","article-title":"Automated protocol validation: some practical examples","author":"rudin","year":"1982","journal-title":"Proc Sixth International Conference on Computer Communication"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1147\/rd.224.0393"},{"key":"ref18","first-page":"373","article-title":"Validation of a token-ring protocol","author":"rudin","year":"1982","journal-title":"Proc Int Symp Local Comput Networks"},{"key":"ref19","first-page":"1306","article-title":"Experience with automated protocol verification","author":"sunshine","year":"1983","journal-title":"Proceedings of the International Conference on Communications"},{"key":"ref2a","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094702"},{"key":"ref2b","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6698-4_2"},{"key":"ref28","first-page":"277","article-title":"Testing OSI protocols: NBS advances the state of the art","volume":"13","author":"mills","year":"1984","journal-title":"Data Communications"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1983.12778"},{"key":"ref27","article-title":"An evaluation of the ICST test architecture after testing Class-4 Transport","author":"linn","year":"1984","journal-title":"Proc 2nd Int Workshop Protocol Specification Testing Verification"},{"key":"ref3","author":"piatkowski","year":"1975","journal-title":"Finite-state architecture"},{"key":"ref33a","first-page":"409","volume":"com 28","year":"1980","journal-title":"IEEE Trans Commun"},{"key":"ref6","volume":"viii 2","year":"1976","journal-title":"Orange Book"},{"key":"ref33b","year":"1982","journal-title":"Computer Network Architectures and Protocols"},{"key":"ref29","first-page":"455","article-title":"The testing of protocols in SNA products","author":"cork","year":"1983","journal-title":"Proc 2nd Int Workshop Protocol Specification Testing Verification"},{"key":"ref5","first-page":"177","article-title":"An engineering Discipline for distributed protocol systems","author":"piatkowski","year":"1981","journal-title":"Protocol Testing?Towards Proof? (an INWG\/NPL Workshop)"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1346","DOI":"10.1109\/PROC.1983.12777","article-title":"status of ccitt description techniques and application to protocol specification","volume":"71","author":"dickson","year":"1983","journal-title":"Proceedings of the IEEE"},{"key":"ref7","volume":"viii 2","year":"1981","journal-title":"Yellow Book"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1982.1095591"},{"key":"ref1","first-page":"353","article-title":"Systems Network Architecture: a perspective","author":"sussenguth","year":"1978","journal-title":"Proc Int Conf Comput Commun"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/800056.802065"},{"key":"ref22","article-title":"An improved algorithm for estimating protocol performance","author":"rudin","year":"1984","journal-title":"Proc 2nd Int Workshop Protocol Specification Testing Verification"},{"key":"ref21","first-page":"1311","article-title":"Protocol performance prediction","author":"bauerfeld","year":"1983","journal-title":"Proc IEEE Internation Conference on Communications"},{"key":"ref24","author":"kritzinger","year":"1984","journal-title":"A performance model of the OSI communication architecture"},{"key":"ref41","year":"1984","journal-title":"Proc 2nd Int Workshop Protocol Specification Testing Verification"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676110"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1147\/rd.271.0068"},{"key":"ref25","first-page":"1316","article-title":"Automated implementation of SNA communication protocols","author":"nash","year":"1983","journal-title":"Proceedings of the International Conference on Communications"}],"container-title":["IEEE Communications Magazine"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/35\/23828\/01092527.pdf?arnumber=1092527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:18:57Z","timestamp":1642004337000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1092527\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,3]]},"references-count":44,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/mcom.1985.1092527","relation":{},"ISSN":["0163-6804"],"issn-type":[{"value":"0163-6804","type":"print"}],"subject":[],"published":{"date-parts":[[1985,3]]}}}