Michael Muller, Anna Kantosalo, et al.
CHI 2024
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.
Michael Muller, Anna Kantosalo, et al.
CHI 2024
C.A. Micchelli, W.L. Miranker
Journal of the ACM
Hironori Takeuchi, Tetsuya Nasukawa, et al.
Transactions of the Japanese Society for Artificial Intelligence
Rei Odaira, Jose G. Castanos, et al.
IISWC 2013