Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022
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.
Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022
Paul G. Comba
Journal of the ACM
Saurabh Paul, Christos Boutsidis, et al.
JMLR
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011