Consistency Checking for LSC Specifications.

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam

Browse the full TASE paper archive.