Toshiro Araki

Publication Activity (10 Years)

Years Active: 1976-1987
Publications (10 Years): 0

Publications

Hirotaka Uoi, Toshiro Araki, Nobuki Tokura
Descriptive power of synchronized shuffle expressions. Systems and Computers in Japan 18 (5) (1987)
Toshiro Araki, Hirotaka Uoi, Shoji Kosai, Nobuki Tokura
Descriptive powers of synchronized shuffle grammars and synchronized production systems. Systems and Computers in Japan 16 (5) (1985)
Shoji Kosai, Yoshihiro Tsujino, Toshiro Araki, Nobuki Tokura
Real-time shuffle stack automaton. Systems and Computers in Japan 16 (2) (1985)
Yoshihiro Tsujino, M. Ando, Toshiro Araki, Nobuki Tokura
Concurrent C: A Programming Language for Distributed Multiprocessor Systems. Softw. Pract. Exp. 14 (11) (1984)
Toshiro Araki, Toyohiko Kagimasa, Nobuki Tokura
Relations of Flow Languages to Petri Net Languages. Theor. Comput. Sci. 15 (1981)
Toshiro Araki, Nobuki Tokura
Flow Languages Equal Recursively Enumerable Languages. Acta Informatica 15 (1981)
Kouichi Wada, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura
Specification of schedulers with algebraic specification techniques. Operating Systems Engineering (1980)
Toshiro Araki, Tadao Kasami
Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets. Theor. Comput. Sci. 4 (1) (1977)
Toshiro Araki, Tadao Kasami
Some Decision Problems Related to the Reachability Problem for Petri Nets. Theor. Comput. Sci. 3 (1) (1976)