{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T22:15:18Z","timestamp":1769811318301,"version":"3.49.0"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[1979,9,1]],"date-time":"1979-09-01T00:00:00Z","timestamp":304992000000},"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":[[1979,9]]},"DOI":"10.1109\/tcom.1979.1094552","type":"journal-article","created":{"date-parts":[[2004,4,29]],"date-time":"2004-04-29T00:29:18Z","timestamp":1083198558000},"page":"1280-1287","source":"Crossref","is-referenced-by-count":148,"title":["A Failsafe Distributed Routing Protocol"],"prefix":"10.1109","volume":"27","author":[{"given":"P.","family":"Merlin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Segall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","author":"sidi","year":"1978","journal-title":"Failsafe distributed optimal routing in data-communication networks"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1979.1094274"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.21236\/ADA061666","author":"merlin","year":"1978","journal-title":"A failsafe distributed routing protocol"},{"key":"ref6","author":"bochmann","year":"1976","journal-title":"A unified method for the specification and verification of protocols"},{"key":"ref11","author":"moss","year":"1978","journal-title":"A routing scheme for a session-oriented store and forward computer network"},{"key":"ref5","year":"0"},{"key":"ref12","author":"schwartz","year":"1977","journal-title":"Analysis and Design"},{"key":"ref8","article-title":"Survey of communication protocol verification techniques, Trends and Applications 1976: Computer Networks","author":"sunshine","year":"1976","journal-title":"Symposium sponsored by IEEE Computer Society National Bureau of Standards"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093347"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1977.1093711"},{"key":"ref9","first-page":"346","article-title":"Protocol machines: A concise formal model and its automatic implementation","author":"gouda","year":"1976","journal-title":"Proceedings of the Third International Conference on Computer Communication"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1977.1093715"}],"container-title":["IEEE Transactions on Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/26\/23918\/01094552.pdf?arnumber=1094552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:41:33Z","timestamp":1638218493000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1094552\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,9]]},"references-count":12,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1979,9]]}},"URL":"https:\/\/doi.org\/10.1109\/tcom.1979.1094552","relation":{},"ISSN":["0096-2244"],"issn-type":[{"value":"0096-2244","type":"print"}],"subject":[],"published":{"date-parts":[[1979,9]]}}}