Title :
Broadcast channels in Estelle
Author :
Chamberlain, Samuel C. ; Amer, Paul D.
Author_Institution :
Dept. of Comput. & Inf. Sci., Delaware Univ., Newark, DE, USA
fDate :
4/1/1991 12:00:00 AM
Abstract :
Using notation consistent with the Estelle ISO 9074 International Standard, the syntax and formal semantics for a broadcast channel are presented. These semantics make precise the meaning of an intuitive concept and additionally are compatible with those of the current Estelle FDT (formal description technique). If introduced to the Estelle FDT, broadcast channels would strengthen its specification capabilities by permitting clearer formal specifications. Broadcast channels provide a foundation for a powerful synchronization mechanism
Keywords :
formal specification; protocols; standards; synchronisation; Estelle; ISO 9074 International Standard; broadcast channels; formal description technique; formal semantics; formal specifications; notation; specification capabilities; synchronization mechanism; syntax; Communication networks; Computer networks; Elementary particle exchange interactions; Formal specifications; ISO standards; Intelligent networks; Local area networks; Radio broadcasting; Radio network; Transport protocols;
Journal_Title :
Computers, IEEE Transactions on
