2025-10-10 Formal Foundations for Intermittent Concurrency