- CSB - MetaPress - Google - Bing - Yahoo
 | 1984 | |
|---|---|---|
| j5 |      | 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 | ||
| j4 | | Toshiro Araki, Nobuki Tokura: Flow Languages Equal Recursively Enumerable Languages. Acta Inf. 15: 209-217 (1981) |
| j3 | | Toshiro Araki, Toyohiko Kagimasa, Nobuki Tokura: Relations of Flow Languages to Petri Net Languages. Theor. Comput. Sci. 15: 51-75 (1981) |
| 1980 | ||
| c1 | | Kouichi Wada, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura: Specification of schedulers with algebraic specification techniques. Operating Systems Engineering 1980: 42-62 |
| 1977 | ||
| j2 | | Toshiro Araki, Tadao Kasami: Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets. Theor. Comput. Sci. 4(1): 99-119 (1977) |
| 1976 | ||
| j1 | | Toshiro Araki, Tadao Kasami: Some Decision Problems Related to the Reachability Problem for Petri Nets. Theor. Comput. Sci. 3(1): 85-104 (1976) |
| 1 | M. Ando | |
| 2 | Kenichi Hagihara | |
| 3 | Toyohiko Kagimasa | |
| 4 | Tadao Kasami | |
| 5 | Nobuki Tokura | |
| 6 | Yoshihiro Tsujino | |
| 7 | Kouichi Wada |
Data released under the ODC-BY 1.0 license — See also our legal information page