Information Flow in Concurrent Games.

Luca de Alfaro, Marco Faella

Browse the full ICALP paper archive.