Specification and validation of communications in client/server models.

F. Joe Lin

Browse the full ICNP paper archive.