Generalized effect algebras
Defined as
cancellative commutative positive partial monoids
or
positive separation algebras
.