The Sun RPC Language Semantics
AbstractA formal description of the Sun Remote Procedure Call Protocol is given. The description is written using the Action Notation style of formal specification. Action Notation proves to be adequate to express the meaning of the Sun RPC communication mechanism.
How to Cite
Musicante, M. (2002). The Sun RPC Language Semantics. DAIMI Report Series, 21(419). https://doi.org/10.7146/dpb.v21i419.6732
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.