Stem bialgebra$ (all stems)

4 papers:

FoSSaCS-2014-BonchiSZ #algebra

Interacting Bialgebras Are Frobenius (FB, PS, FZ), pp. 351–365.

FoSSaCS-2014-RotB #algebra #equation #semantics

Combining Bialgebraic Semantics and Equations (JR, MMB), pp. 381–395.

LICS-2007-Klin #algebra #logic #semantics

Bialgebraic Operational Semantics and Modal Logic (BK), pp. 336–345.

ICALP-2002-Kick #algebra #modelling #process

Bialgebraic Modelling of Timed Processes (MK), pp. 525–536.