A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags. - Toru Kato 002; Masahiro Higuchi (NBiS, 2012)

Integrated development environment for the multiple ambient calculus for modeling freight systems. - Toru Kato 002; Manami Shimazu; Masahiro Higuchi; Hiroshi Ohyama (CASE, 2016)

Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus. - Toru Kato 002; Masahiro Higuchi; Hiroshi Ohyama; Yoshiaki Kawamura; Ryotaro Ohno (ISPA/BDCloud/SocialCom/SustainCom, 2022)

A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation. - Toru Kato 002; Yuma Sakakibara; Masahiro Higuchi (IECON, 2023)

The synchronized ambient calculus. - Toru Kato 002; Yoichi Hirashima (Theor. Comput. Sci., 2024)

Partial Order Reduction on the Ambient Calculus for Modeling Intra-regional Truck Transportation. - Toru Kato 002; Atsuya Maruyama (ICM, 2025)