Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki. Formalization of Broadcast Communication in Process Calculus and Its Model Checking. In Boris Shishkov, José Cordeiro, Alpesh Ranchordas, editors, ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009. pages 348-352, INSTICC Press, 2009.
Abstract is missing.