Modeling Communication in Maude

  • Peter Csaba Ölveczky
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.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations