A state propagation method for consistency checking of web service function invocations in web applications. - Tomohiro Kaizu; Tomoya Noro; Takehiro Tokuda (ICWE Workshops, 2006)

Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP. - Tomohiro Kaizu; Yoshinao Isobe; Masato Suzuki (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)