General Structural Operational Semantics through Categorical Logic | IEEE Conference Publication | IEEE Xplore