A distributed alternative to finite-state-machine specifications (1985) [pdf]

No comments yet.