Concurrent garbage collection for concurrent rewritingToward the concurrent implementation of computational systems