Observation-Oriented Semantics for Calculus of Wireless Systems

Xiaofeng Wu, Huibiao Zhu, Xi Wu. Observation-Oriented Semantics for Calculus of Wireless Systems. In David Naumann, editor, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Volume 8963 of Lecture Notes in Computer Science, pages 105-124, Springer, 2014. [doi]

Abstract

Abstract is missing.