Computer Networks and ISDN Systems - Special Quadruple Issue: Conference on Communication and Data Communication
Adding graphics and animation to Estelle
Journal of Electronic Materials
Estelle formal specification of ISO virtual terminal
Computer Standards & Interfaces
Estelle enhancements for formally specifying distributed systems
Estelle enhancements for formally specifying distributed systems
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Formal Description Technique Estelle: Results of the Esprit Sedos Project
A New User's Experiences and Impressions with Estelle
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Experiences Using Estelle Within SEDOS Estelle Demonstrator
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Adding Interaction Sets to Estelle
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Improving the efficiency of automated protocol implementation using Estelle
Computer Communications
| Hi-index | 0.00 |
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.