@article{Klin:TCS:2011,
    Abstract = {Bialgebras and distributive laws are an abstract, categorical framework to study various flavors of structural operational semantics. This paper aims to introduce the reader to the basics of bialgebras for operational semantics, and to sketch the state of the art in this research area.},
    Author = {Klin, Bartek},
    File = {Bialgebras for structural operational semantics- An introduction - 1-s2.0-S0304397511002532-main.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {reading and Structural operational semantics and Coalgebra and Bialgebra},
    Note = {CMCS Tenth Anniversary Meeting},
    Number = {38},
    Pages = {5043--5069},
    Title = {Bialgebras for structural operational semantics: An introduction},
    URL = {https://www.sciencedirect.com/science/article/pii/S0304397511002532},
    Volume = {412},
    Year = {2011},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0304397511002532},
    bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2011.03.023},
    date-added = {2023-03-28 13:59:30 +0200},
    date-modified = {2023-03-28 13:59:30 +0200},
    doi = {10.1016/j.tcs.2011.03.023}
}

@article{Klin:TCS:2011, Abstract = {Bialgebras and distributive laws are an abstract, categorical framework to study various flavors of structural operational semantics. This paper aims to introduce the reader to the basics of bialgebras for operational semantics, and to sketch the state of the art in this research area.}, Author = {Klin, Bartek}, File = {Bialgebras for structural operational semantics- An introduction - 1-s2.0-S0304397511002532-main.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {reading and Structural operational semantics and Coalgebra and Bialgebra}, Note = {CMCS Tenth Anniversary Meeting}, Number = {38}, Pages = {5043--5069}, Title = {Bialgebras for structural operational semantics: An introduction}, URL = {https://www.sciencedirect.com/science/article/pii/S0304397511002532}, Volume = {412}, Year = {2011}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0304397511002532}, bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2011.03.023}, date-added = {2023-03-28 13:59:30 +0200}, date-modified = {2023-03-28 13:59:30 +0200}, doi = {10.1016/j.tcs.2011.03.023} }