Journal of the ACM · 1983 · 1.1K citations · 12 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureFault-tolerant ComputingFault-tolerant SystemsCommunication SystemsFinite State Machine ModelingFinite-state MachinesInterprocess CommunicationTuring MachinesFinite State Machine SpecificationMachine-to-machine CommunicationState Machine ModelsState MachinesStatecharts
A model of commumcations protocols based on finite-state machines is investigated. The problem addressed is how to ensure certain generally desirable properties, which make protocols "wellformed," that is, specify a response to those and only those events that can actually occur. It is determined to what extent the problem is solvable, and one approach to solving it ts described.
12
Towards Analyzing and Synthesizing Protocols
P. Zafiropulo, Colin H. West, H. Rudin et al. · IRE Transactions on Communications Systems · 1980 · 239 citations
N.V. Stenning · Computer Networks (1976) · 1976 · 173 citations