Concurrent Objects in Maude

  • Peter Csaba ÖlveczkyEmail author
Part of the Undergraduate Topics in Computer Science book series (UTICS)


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.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations