Since Rust supports concurrency, it is worth mentioning that these techniques have been scaled to handle objects that can be accessed from multiple threads at once - while maintaining the modularity of the approach. See, for example, &lt;<a href="http:&#x2F;&#x2F;plv.mpi-sws.org&#x2F;iris&#x2F;&gt;" rel="nofollow">http:&#x2F;&#x2F;plv.mpi-sws.org&#x2F;iris&#x2F;&gt;</a> and &lt;<a href="http:&#x2F;&#x2F;software.imdea.org&#x2F;fcsl&#x2F;&gt;" rel="nofollow">http:&#x2F;&#x2F;software.imdea.org&#x2F;fcsl&#x2F;&gt;</a>.