Petri Net Specification of a New Protocol for Controlling a Distributed System Organization.

Pascal Estraillier, Claude Girault

Browse the full ICDCS paper archive.