Exploiting Symmetries for Testing Equivalence in the Spi Calculus.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Browse the full ATVA paper archive.