salford acoustics program homepage Acoustic engineering, broadcast engineering (mobile, TV, IPTV, film), music & sound technology, animation & web design is our passion. We are leaders in teaching and research in audio and acoustic engineering, video and television.
T. Mossakowski, and A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 8412 of Lecture Notes in Computer Science, page 441-456. Springer-Verlag Berlin Heidelberg, (2014)