Concurrent Program Refinement Compilers for concurrent programs Fine-grained impl. of concurrent objects(libraries) E.g. javautil.concurrentConcurrent Program Refinement • Compilers for concurrent programs • Fine-grained impl. of concurrent objects (libraries) – E.g. java.util.concurrent