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

Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia

Browse the full SYNASC paper archive.