Testing Theories for Broadcasting Processes.
Cristian Ene, Traian Muntean · 2002
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to bisimulations for broadcasting calculi. Then, we remind CBS without message passing and b-calculus, and we adapt the de nitions of may testing and must testing in the framework of broadcasting calculi. Finally, we give a direct characterization for these pre-orders.