Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia. Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007. pages 33-40, IEEE Computer Society, 2007. [doi]
Abstract is missing.