Tomohiro Kaizu

According to our database, Tomohiro Kaizu authored at least 2 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

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

2006

A state propagation method for consistency checking of web service function invocations in web applications.

Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda

Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006