Petter Sandvik. SPECTA: A formal specification language for content transfer algorithms. In Proceeding of IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2014, Sydney, Australia, June 19, 2014. pages 1-4, IEEE Computer Society, 2014. [doi]
Abstract is missing.