Synchronized Progress in Interconnection Networks (SPIN): A New Theory for Deadlock Freedom | IEEE Journals & Magazine | IEEE Xplore