Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1108-3124,
  author       = {Luca Aceto and
                  Georgiana Caltais and
                  Eugen{-}Ioan Goriac and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Michel A. Reniers and
                  Pawel Sobocinski},
  title        = {Axiomatizing {GSOS} with Predicates},
  booktitle    = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
                  {SOS} 2011, Aachen, Germany, 5th September 2011},
  series       = {{EPTCS}},
  volume       = {62},
  pages        = {1--15},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.62.1},
  doi          = {10.4204/EPTCS.62.1},
  timestamp    = {Tue, 21 Apr 2020 10:56:16 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3124.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-3125,
  author       = {Ken Madlener and
                  Sjaak Smetsers and
                  Marko C. J. D. van Eekelen},
  editor       = {Michel A. Reniers and
                  Pawel Sobocinski},
  title        = {Formal Component-Based Semantics},
  booktitle    = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
                  {SOS} 2011, Aachen, Germany, 5th September 2011},
  series       = {{EPTCS}},
  volume       = {62},
  pages        = {17--29},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.62.2},
  doi          = {10.4204/EPTCS.62.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3125.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-3126,
  author       = {Asiri Rathnayake and
                  Hayo Thielecke},
  editor       = {Michel A. Reniers and
                  Pawel Sobocinski},
  title        = {Regular Expression Matching and Operational Semantics},
  booktitle    = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
                  {SOS} 2011, Aachen, Germany, 5th September 2011},
  series       = {{EPTCS}},
  volume       = {62},
  pages        = {31--45},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.62.3},
  doi          = {10.4204/EPTCS.62.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3126.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-3127,
  author       = {David Romero{-}Hern{\'{a}}ndez and
                  David de Frutos{-}Escrig},
  editor       = {Michel A. Reniers and
                  Pawel Sobocinski},
  title        = {On the Unification of Process Semantics: Logical Semantics},
  booktitle    = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
                  {SOS} 2011, Aachen, Germany, 5th September 2011},
  series       = {{EPTCS}},
  volume       = {62},
  pages        = {47--61},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.62.4},
  doi          = {10.4204/EPTCS.62.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3127.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1108-2796,
  editor       = {Michel A. Reniers and
                  Pawel Sobocinski},
  title        = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
                  {SOS} 2011, Aachen, Germany, 5th September 2011},
  series       = {{EPTCS}},
  volume       = {62},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.62},
  doi          = {10.4204/EPTCS.62},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2796.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}