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.