Timed Ethernet: Real-Time Formal Specification of Ethernet

• Authors:

• Henri B. Weinberg;Lenore D. Zuck

• Affiliations:

• -;-

• Venue:
• CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
• Year:
• 1992