Towards Effects in Mathematical Operational Semantics

by Faris Abou-saleh , Dirk Pattinson