Tetsuo Kamina Tomoyuki Aotani Hidehiko Masuhara Consistent Distributed Reactive Programming with Retroactive Computation. 2025 10 Art Sci. Eng. Program. 1 https://doi.org/10.22152/programming-journal.org/2026/10/11 db/journals/programming/programming10.html#KaminaAM25c streams/journals/programming