Их там, похоже, не было - и я не стал бы сильно этому удивляться, учитывая, что примерно в это же время (но вроде как немного пораньше) у них появился DECNet - и смысл поддерживать ещё один протокол?
ЕМНИП, как раз недавно где то читал по поводу того, что не вставание у истоков Internet - ещё один просчёт DEC.
И вроде как одна из наработок DECNet Phase V - протокол IS-IS, допиленный для поддержки IP, используется до сих пор крупными провайдерами в штатах. Ну или по крайне мере - достаточно долго использовался.