Abstract
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.
Notes
- 1.
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.
- 2.
This is not a significant restriction, since any class can be a subclass of the class Node.
- 3.
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer-Verlag London
About this chapter
Cite this chapter
Ölveczky, P.C. (2017). Modeling Communication in Maude. In: Designing Reliable Distributed Systems. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-6687-0_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-6687-0_11
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-6686-3
Online ISBN: 978-1-4471-6687-0
eBook Packages: Computer ScienceComputer Science (R0)