The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers

Pierre Azéma, Bernard Berthomieu, Paul Decitre. The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers. In IFIP Congress. pages 599-604, 1980.

Abstract

Abstract is missing.