Equational Theories of Abnormal Termination Based on Kleene Algebra.

Konstantinos Mamouras

Browse the full FOSSACS paper archive.