Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.

Michell Guzmn, Sophia Knight, Santiago Quintero, Sergio Ramrez, Camilo Rueda, Frank Valencia

Browse the full CONCUR paper archive.