Ryszard Janicki, Yan Liu. On Trace Assertion Method of Module Interface Specification with Concurrency. In Wojciech Ziarko, Y. Y. Yao, editors, Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers. Volume 2005 of Lecture Notes in Computer Science, pages 632-641, Springer, 2000. [doi]
Abstract is missing.