It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".

Benedikt Bollig, Marie Fortin, Paul Gastin

Browse the full CONCUR paper archive.