Efficient verification of determinate processes (1991)

by Huajun Qin
Venue:Proceedings of the 2nd International ue Conference on Concurrency Theory (CONCUR’91