Proceedings of the 4th workshop on Declarative aspects of multicore programming
ACM Digital Library