An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype.

Byung-Ho Park, Shigetomo Kimura, Eun-Seok Lee, Norio Shiratori

Browse the full ICPADS paper archive.