TY - RPRT TI - Complete CALM: A Coordination Criterion for Specifications AU - Joseph M. Hellerstein PY - 2026 UR - https://arxiv.org/abs/2602.09435 ID - 2602.09435 ER -