A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.

Luca Durante, Riccardo Sisto, Adriano Valenzano

Browse the full FORTE paper archive.