Tadayoshi Kamegai

According to our database, Tadayoshi Kamegai authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Subject Reduction and Progress for Synchronous MPST.

Burak Ekici, Tadayoshi Kamegai, Nobuko Yoshida

Dataset, September, 2025

Formalising Subject Reduction and Progress for Multiparty Session Processes.

Burak Ekici, Tadayoshi Kamegai, Nobuko Yoshida

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025