Abstract
Brand and Zafiropulo's notion of Communicating Finite-State Machines (CFSMs) provides a succinct and powerful model of message-passing concurrency, ba......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
