Modeling Communication in Maude
暂无分享,去创建一个
Chapter 10 explained how a concurrent system can be represented as a multiset of concurrent objects. This chapter shows how different forms of communication between such objects can be modeled in rewriting logic.