A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems