@inproceedings{Fokkink_Glabbeek_17,
    address          = {Stockholm, Sweden},
    author           = {Fokkink, Wan and van Glabbeek, Robert},
    booktitle        = {26th EACSL Annual Conference on Computer Science Logic (CSL'17)},
    date             = {2017-8-17},
    doi              = {https://doi.org/10.4230/LIPIcs.CSL.2017.25},
    keywords         = {Structural Operational Semantics Congruence formats Modal Decomposition Bounded lookahead Trace
                        preorder},
    month            = aug,
    numpages         = {20 p.},
    paperurl         = {https://trustworthy.systems/publications/full_text/Fokkink_Glabbeek_17.pdf},
    publisher        = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    series           = {Leibniz International Proceedings in Informatics (LIPIcs)},
    title            = {Precongruence Formats with Lookahead through Modal Decomposition},
    volume           = {82},
    year             = {2017}
  }