Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.

Robi Malik, David Streader, Steve Reeves

Browse the full ATVA paper archive.