Modeling Communication in Maude
Part of the Undergraduate Topics in Computer Science book series (UTICS)
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.
© Springer-Verlag London 2017