Populational Announcement Logic (PPAL).

Vitor Machado, Mario R. F. Benevides

Browse the full LPNMR paper archive.