Program Design Environment for Multicore Processor Systems with Program Execution Controlled by Global States Monitoring.
Marek S. Tudruj, Janusz Borkowski, Lukasz Masko, Adam Smyk, Damian Kopanski, Eryk Laskowski
Browse the full ISPDC paper archive.