Ralf Ebner;Alexander Pfaffinger
-;-
S-Net for multi-memory multicores
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming