Koichi Takahashi, Masami Hagiya. Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. In The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings. pages 1-8, 2000.
Abstract is missing.