Ben Fei, Jinbai Liu
IEEE Transactions on Neural Networks
A model of Communications 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. © 1983, ACM. All rights reserved.
Ben Fei, Jinbai Liu
IEEE Transactions on Neural Networks
Benjamin N. Grosof
AAAI-SS 1993
Paul G. Comba
Journal of the ACM
Kellen Cheng, Anna Lisa Gentile, et al.
EMNLP 2024