Equations between Regular Terms and an Application to Process Logic

Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh

Browse the full STOC paper archive.