Testing Theories for Broadcasting Processes

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 definitions of may testing and must testing in the framework of broadcasting calculi. Finally, we give a direct characterization for these pre-orders.

• Type: Journal
• Year: 2002
• Where: CUZA
• Authors: Cristian Ene, Traian Muntean
• Keywords: Basic Communication, CUZA 2002, Processes Calculi, Theory