In this talk I will review the testing theory of De Nicola & Hennessy and apply it to processes with probabilistic and deterministic choice. This will yield two refinement relations for such processes, defining when an implementation meets a specification. I will present characterisations of these testing preorders in terms of simulations, modal logic, and inequational axioms.
No prior knowledge of either testing or processes is assumed. Background reading is available at:
This presentation is based on joint work with Yuxin Deng, Matthew Hennessy, Carroll Morgan and Chenyi Zhang.
| Rob van Glabbeek |
| National ICT Australia |
| Date: | Fri Aug 10 2007 |
| Time: | 10:30 to 11:30am |
| Location: | Level 1 Seminar Room, CSE Bldg (K17), UNSW Kensington campus |
Last updated by tbourke at Mon Aug 6 15:34:11 2007 GMT+1000