A distributed alternative to finite-state-machine specifications (1985) [pdf]dl.acm.org3 pointscapableweb6 years ago