Swipe to navigate through the chapters of this book
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.
Please log in to get access to this content
To get access to this content you need the following product:
There is no contradiction in using a synchronous divorce rule, since the parties do not talk to each other and hence do not know that both of them have initiated a separation when they meet in court.
This is not a significant restriction, since any class can be a subclass of the class Node.
The currentSize attribute is not needed, since its value can be computed given the content value; however, it is usually more efficient to have such an attribute.
- Modeling Communication in Maude
Peter Csaba Ölveczky
- Springer London
- Sequence number
- Chapter number
- Chapter 11