{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:12:56Z","timestamp":1773655976775,"version":"3.50.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[1980,4,1]],"date-time":"1980-04-01T00:00:00Z","timestamp":323395200000},"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 Trans. Commun."],"published-print":{"date-parts":[[1980,4]]},"DOI":"10.1109\/tcom.1980.1094686","type":"journal-article","created":{"date-parts":[[2004,4,29]],"date-time":"2004-04-29T00:29:18Z","timestamp":1083198558000},"page":"632-643","source":"Crossref","is-referenced-by-count":68,"title":["Protocol Representation with Finite-State Models"],"prefix":"10.1109","volume":"28","author":[{"given":"A.","family":"Danthine","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref5b","first-page":"361","volume":"2","year":"1978","journal-title":"Comput Networks"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(78)90053-3"},{"key":"ref17b","volume":"com 26","year":"1978","journal-title":"IEEE Trans Commun"},{"key":"ref17a","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1978.1094227"},{"key":"ref33","first-page":"229","article-title":"A unified method for the specification and verification of protocols","author":"bochmann","year":"1977","journal-title":"Proc IFIP Congr"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1479992.1480030"},{"key":"ref30","first-page":"115","article-title":"Definition, representation et simulation de protocoles dans un contexte r\ufffdseau","author":"danthine","year":"1975","journal-title":"J AIM Mini-Ordinateurs et Transmission de Donnees"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1979.1658889"},{"key":"ref36","first-page":"3a1","article-title":"Formal definition of IBM's system network architecture","author":"sundstrom","year":"1977","journal-title":"Proc Nat Telecommun Conf"},{"key":"ref35","first-page":"3a. 2-1","article-title":"A formalized specification of HDLC classes of procedures","author":"bochmann","year":"1977","journal-title":"Proc Nat Telecommun Conf"},{"key":"ref19b","first-page":"373","volume":"2","year":"1978","journal-title":"Comput Networks"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"ref19a","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(78)90016-8"},{"key":"ref31a","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(78)90017-X"},{"key":"ref31b","first-page":"381","volume":"2","year":"1978","journal-title":"Comput Networks"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/800272.810896"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093347"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref13","first-page":"663","article-title":"Petri nets for protocol modeling and Verification","volume":"ii","author":"danthine","year":"1977","journal-title":"Proc Comput Networks and Teleprocessing Symp"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1979.1094323"},{"key":"ref15","author":"postel","year":"1974","journal-title":"A Graph Model Analysis of Computer Communications Protocols"},{"key":"ref16","first-page":"351","article-title":"Designing colloquies","author":"mezzalira","year":"1973","journal-title":"Proc 1st Europ Workshop on Comput Networks"},{"key":"ref39b","first-page":"346","volume":"2","year":"1978","journal-title":"Comput Networks"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1147\/rd.221.0060"},{"key":"ref39a","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(78)90013-2"},{"key":"ref24b","first-page":"351","volume":"2","year":"1978","journal-title":"Comput Networks"},{"key":"ref24a","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(78)90014-4"},{"key":"ref28","first-page":"114","article-title":"A formal model for automatic implementation and logical validation of network communication protocol","author":"teng","year":"1978","journal-title":"Proc Comput Networking Symp"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-3-642-66344-4_21","author":"danthine","year":"1976","journal-title":"Rechnernetze und Datenfernverarbeitung"},{"key":"ref27","first-page":"722","article-title":"A formal approach to the design and implementation of network communication protocol","volume":"il","author":"teng","year":"1978","journal-title":"Proc COMPSAC 78"},{"key":"ref3","author":"rusbridge","year":"1974","journal-title":"Formal representation of protocols for computer networks"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/356608.356609"},{"key":"ref29","article-title":"A bibliography on the formal specification and verification of computer network protocols","author":"day","year":"1978","journal-title":"Proc Comput Network Protocols Symp"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-7760-0_11"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/800272.810906"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1971.1090729"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref1","first-page":"477","article-title":"Finite state automaton?Definition of data communication line control procedures","volume":"37","author":"bjomer","year":"1970","journal-title":"AFIPS Proc Fall Joint Comput Conf"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1978.1094201"},{"key":"ref22","first-page":"7-15","article-title":"Logical verification and implementation of protocols","author":"bochmann","year":"1975","journal-title":"Proc 4th Data Commun Symp"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1147\/rd.224.0393"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(76)90015-5"},{"key":"ref26","first-page":"f6-1","article-title":"Protocol definition with formal grammars","author":"harangozo","year":"1978","journal-title":"Proc Comput Network Protocols Symp"},{"key":"ref25","first-page":"749","article-title":"Automatically verified data transfer protocols","author":"hajek","year":"1978","journal-title":"Proc Int Comput Commun Conf"},{"key":"ref5a","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(78)90015-6"}],"container-title":["IEEE Transactions on Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/26\/23925\/01094686.pdf?arnumber=1094686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:41:35Z","timestamp":1638218495000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1094686\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,4]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1980,4]]}},"URL":"https:\/\/doi.org\/10.1109\/tcom.1980.1094686","relation":{},"ISSN":["0096-2244"],"issn-type":[{"value":"0096-2244","type":"print"}],"subject":[],"published":{"date-parts":[[1980,4]]}}}