On the relationship between strand spaces and multi-agent systems.

Joseph Y. Halpern, Riccardo Pucella

Browse the full CCS paper archive.