Added notes on ω-continuous semirings.