The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1991 vol.40)
pp: 423-436
ABSTRACT
<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>
INDEX TERMS
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.
CITATION
S.C. Chamberlain, P.D. Amer, "Broadcast Channels in Estelle", IEEE Transactions on Computers, vol.40, no. 4, pp. 423-436, April 1991, doi:10.1109/12.88462
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool