2 ms·A distributed alternative to finite-state-machine specifications (1985) [pdf]3 points by capableweb 7y ago