Wenjun Li, Xiaocong Zhou, Shixian Li
The Typing of Communicating Sequential Processes
TOOLS, 1999.
@inproceedings{TOOLS-ASIA-1999-LiZL,
author = "Wenjun Li and Xiaocong Zhou and Shixian Li",
booktitle = "{Proceedings of the 31st International Conference on Technology of Object-Oriented Languages and Systems}",
doi = "10.1109/TOOLS.1999.796467",
isbn = "0-7695-0393-4",
pages = "61--66",
publisher = "{IEEE Computer Society}",
title = "{The Typing of Communicating Sequential Processes}",
year = 1999,
}