HDLC specification

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Eoin McDonnell Wed, 11 Nov 1992 12:00

#260

Author: 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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads