"Ju Guiyuan,Sosuke Moriguchi,Takuo Watanabe","A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming","39th JSSST Annual Conference",,,,,,2022,Aug.