Travelled to:
1 × Japan
Collaborated with:
N.Yonezaki
Talks about:
synchron (1) function (1) process (1) specif (1) modal (1) logic (1) base (1)
Person: Takao Katayama
DBLP: Katayama:Takao
Contributed to:
Wrote 1 papers:
- ICSE-1982-YonezakiK #functional #logic #process #specification
- Functional Specification of Synchronized Processes Based on Modal Logic (NY, TK), pp. 208–217.