Michael Herlihy

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
10 are not values: one may send an object id, or a value representing the state of the object, or even a value representing the behaviour of the object, but not the object itself. Since message contents are values, type-checking of communications can be handled in a more traditional way [8]. Two promising directions for further work are (1) to reconsider(More)
  • 1