Takao Katayama

According to our database, Takao Katayama authored at least 1 paper in 1982.

Collaborative distances:

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

1982

Functional Specification of Synchronized Processes Based on Modal Logic.

Naoki Yonezaki, Takao Katayama

Proceedings of the Proceedings, 1982