Arithmetic Completeness for Two-Dimensional Cone-Monotone Integer Relations

This paper develops an exact structural theory of weakest nontermination for the full class of two-dimensional cone-monotone homogeneous integer equality relations of the form Bλ = Aλ′, with nonnegative integer coefficient states, pointed source cone and nonzero source columns. The full canonical deterministic quotient gives the first structural dichotomy. If it is nonintegral, an exact […] The…