Danièle Beauquier, Marie Duflot, Yury Lifshits. Decidability of Parameterized Probabilistic Information Flow. In Volker Diekert, Mikhail V. Volkov, Andrei Voronkov, editors, Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Volume 4649 of Lecture Notes in Computer Science, pages 82-91, Springer, 2007. [doi]
Abstract is missing.