Probabilistic Validation of a Remote Procedure Call Protocol

• Authors:

• N. Bennacer;Gerard Florin;C. Fraize;Stéphane Natkin

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the 15th International Conference on Application and Theory of Petri Nets
• Year:
• 1994