Formalization of Broadcast Communication in Process Calculus and Its Model Checking

Publication Information

Title

Japanese:
English:	Formalization of Broadcast Communication in Process Calculus and Its Model Checking

Author

Japanese:	池田立野, 大畑卓也, 西崎真也.
English:	Ritsuya Ikeda, Takuya Oohata, Shin-ya Nishizaki.

Language

English

Journal/Book name

Japanese:
English:	Proceedings of the 4th International Conference on Software and Data Technologies

Volume, Number, Page

Vol. 1 pp. 348-352

Published date

July 2009

Publisher

Japanese:
English:	INSTICC Press

Conference name

Japanese:
English:	ICSOFT 2009

Conference site

Japanese:
English:	Sofia, Bulgaria

Official URL