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