PaperParallelism and concurrency of graph manipulationsHartmut Ehrig, Barry K. RosenTheoretical Computer Science