Comodels and Effects in Mathematical Operational Semantics.

Faris Abou-Saleh, Dirk Pattinson

Browse the full FOSSACS paper archive.