Verification of Multi-agent Systems with Timeouts for Migration and Communication.

Bogdan Aman, Gabriel Ciobanu

Browse the full ICTAC paper archive.