Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification.

Gilbert M. Lundy Raymond E. Miller

Published in: IEEE Trans. Commun. (1993)

Keyphrases

complex systems
artificial intelligence
learning systems
communication channels
network protocols
high level
management system
lightweight
formal analysis
protocol specification