Swipe to navigate through the chapters of this book
A distributed system can be naturally modeled as an object system by modeling each component of the system as an object. The components may communicate with each other by sending and receiving messages. The state of a system can therefore be represented as a multiset of objects and messages traveling between the objects.
Please log in to get access to this content
To get access to this content you need the following product:
Unfortunately, this straightforward way of separating by message passing may destroy future marriages, as explained in Section 188.8.131.52.
The module below has been slightly changed by the author to get better formatted output; the same formatting should be added to Full Maude’s CONFIGURATION module.
- Concurrent Objects in Maude
Peter Csaba Ölveczky
- Springer London
- Sequence number
- Chapter number
- Chapter 10