Issue No. 04 - April (1991 vol. 40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.88462
<p>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.</p>
broadcast channels; Estelle; notation; ISO 9074 International Standard; syntax; formal semantics; formal description technique; specification capabilities; formal specifications; synchronization mechanism; formal specification; protocols; standards; synchronisation.
S. Chamberlain and P. Amer, "Broadcast Channels in Estelle," in IEEE Transactions on Computers, vol. 40, no. , pp. 423-436, 1991.