Verifying Mobile Processes in the HAL Environment.

Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori

Browse the full CAV paper archive.