Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability.

Catalin Dima Constantin Enea Radu Gramatovici Alexandru Sofronia Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. 33-40 2007 SYNASC http://dx.doi.org/10.1109/SYNASC.2007.67 conf/synasc/2007 db/conf/synasc/synasc2007.html#DimaEGS07