A Protocol for Multi-Threaded Processes with Choice in pi-Calculus. - Kazunori Iwata 001; Shingo Itabashi; Naohiro Ishii (International Conference on Computational Science (2), 2001)