Modeling Process Synchronization in Multiprocessor Systems on Chip (MPSoC)

Ines Viskic and Daniel Gajski, "Modeling Process Synchronization in Multiprocessor Systems on Chip (MPSoC)," TR 08-07, May 10th, 2008. download pdf