1984 |
6 | | Yoshihiro Tsujino,
M. Ando,
Toshiro Araki,
Nobuki Tokura:
Concurrent C: A Programming Language for Distributed Multiprocessor Systems.
Softw., Pract. Exper. 14(11): 1061-1078 (1984) |
1981 |
5 | | Toshiro Araki,
Nobuki Tokura:
Flow Languages Equal Recursively Enumerable Languages.
Acta Inf. 15: 209-217 (1981) |
4 | | Toshiro Araki,
Toyohiko Kagimasa,
Nobuki Tokura:
Relations of Flow Languages to Petri Net Languages.
Theor. Comput. Sci. 15: 51-75 (1981) |
1980 |
3 | | Kouichi Wada,
Kenichi Hagihara,
Toshiro Araki,
Nobuki Tokura:
Specification of schedulers with algebraic specification techniques.
Operating Systems Engineering 1980: 42-62 |
1977 |
2 | | Toshiro Araki,
Tadao Kasami:
Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets.
Theor. Comput. Sci. 4(1): 99-119 (1977) |
1976 |
1 | | Toshiro Araki,
Tadao Kasami:
Some Decision Problems Related to the Reachability Problem for Petri Nets.
Theor. Comput. Sci. 3(1): 85-104 (1976) |