TY  - RPRT
TI  - It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"
AU  - Benedikt Bollig
AU  - Marie Fortin
AU  - Paul Gastin
PY  - 2018
UR  - https://arxiv.org/abs/1804.10076
ID  - 1804.10076
ER  -