@inproceedings{BFG-concur18,
    Address = {Beijing, China},
    Author = {Bollig, Benedikt and Fortin, Marie and Gastin, Paul},
    BookTitle = {{P}roceedings of the 29th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'18)},
    Editor = {Schewe, Sven and Zhang, Lijun},
    File = {LIPIcs-CONCUR-2018-7 (0) - a - a - e.pdf},
    Month = {September},
    Pages = {7:1-7:17},
    Publisher = {Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Leibniz International Proceedings in Informatics},
    Title = {It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ''Happened Before''},
    URL = {http://drops.dagstuhl.de/opus/frontdoor.php?source\_opus=9545},
    Volume = {118},
    Year = {2018},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/frontdoor.php?source\_opus=9545},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.7},
    date-added = {2018-10-09 11:36:36 +0000},
    date-modified = {2018-10-09 11:36:36 +0000},
    doi = {10.4230/LIPIcs.CONCUR.2018.7}
}

@inproceedings{BFG-concur18, Address = {Beijing, China}, Author = {Bollig, Benedikt and Fortin, Marie and Gastin, Paul}, BookTitle = {{P}roceedings of the 29th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'18)}, Editor = {Schewe, Sven and Zhang, Lijun}, File = {LIPIcs-CONCUR-2018-7 (0) - a - a - e.pdf}, Month = {September}, Pages = {7:1-7:17}, Publisher = {Leibniz-Zentrum f{\"u}r Informatik}, Series = {Leibniz International Proceedings in Informatics}, Title = {It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ''Happened Before''}, URL = {http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=9545}, Volume = {118}, Year = {2018}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=9545}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.7}, date-added = {2018-10-09 11:36:36 +0000}, date-modified = {2018-10-09 11:36:36 +0000}, doi = {10.4230/LIPIcs.CONCUR.2018.7} }