Formalization of Broadcast Communication in Process Calculus and Its Model Checking.

Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki

Browse the full ICSoft paper archive.