 | 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) |
