A Protocol for Multi-Threaded Processes with Choice in pi-Calculus.
Kazunori Iwata, Shingo Itabashi, Naohiro Ishii
VenueMulticonferenceICCS
Year2001
ProceedingsInternational Conference on Computational Science (2)
DBLP recordconf/iccS/IwataII01 ↗
Browse the full ICCS paper archive.