Found 120 results for "RPC"
by M. Broy, Stephan Merz
The problem calls for the specification and verification of a series of components.