Using true concurrency to model execution of parallel programsYosi Ben-AsherEitan Farchi1994Int. J. Parallel Program