"Sosuke Moriguchi,Satoshi Takimoto,Mizuki Shirai,Takuo Watanabe","Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists","13th Workshop on Computation: Theory and Practice (WCTP 2024) (to appear)",,,,,,2024,Nov.
"Mizuki Shirai,Sosuke Moriguchi,Takuo Watanabe","Construction of Inverse Computation in Synchronous Dataflow Programming",,"Computer Software","JSSST","Vol. 41","No. 3","pp. 34-40",2024,July