Next: Teoria di testing Up: Note del corso di Previous: Assiomatizzazione della bisimulazione Indice
Come fatto nel capitolo precedente, riprendiamo ora quanto visto sulla testing equivalence, cercando di darne una visione più organica ed esaustiva di questa equivalenze.
Riprenderemo dapprima alcune definizioni già introdotte, per poi cercare un'assiomatizzazione completa di questa equivalenza.