HDLC specification

Article View: comp.specification

Article #260

Back to comp.specification Previous Next

#260

From: Eoin McDonnell
Date: Wed, 11 Nov 1992 12:00

12 lines
719 bytes

Hi,

Does anyone have any references or postscript files for a formal
specification of a HDLC (High-level Data Link Control) protocol such 
as SDLC?   The preferable notations are CCS,  CSP  and Pi-Calculus,  but
specs. in Petri-Nets and Lotos are also welcome.   


Thanks,

Eoin Mc Donnell.                emcdnnll@cs.tcd.ie.

Technical Details

Message-ID: <1992Nov11.120024.12753@cs.tcd.ie>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!ieunet!tcdcs!emcdnnll

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!ieunet!tcdcs!emcdnnll
From: emcdnnll@cs.tcd.ie (Eoin McDonnell)
Subject: HDLC specification
Message-ID: <1992Nov11.120024.12753@cs.tcd.ie>
Summary: Ref's req'd for formal spec. of HDLC protocol
Keywords: HDLC
Organization: Computer Science, Trinity College Dublin
Date: Wed, 11 Nov 1992 12:00:24 GMT
Lines: 12