Denotational Testing Semantics in Coinductive Form.

Michele Boreale, Fabio Gadducci

Browse the full MFCS paper archive.