A Process Algebraic View of Latency-Insensitive Systems | IEEE Journals & Magazine | IEEE Xplore