A formal approach to H.264 video decoding on multicore systems. - Kristian Lumme; Luigia Petre; Petter Sandvik; Kaisa Sere (Int. J. Crit. Comput. Based Syst., 2013)