Toshiro Araki

According to our database, Toshiro Araki authored at least 9 papers between 1976 and 1987.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1987

Descriptive power of synchronized shuffle expressions.

Hirotaka Uoi, Toshiro Araki, Nobuki Tokura

Syst. Comput. Jpn., 1987

1985

Real-time shuffle stack automaton.

Shoji Kosai, Yoshihiro Tsujino, Toshiro Araki, Nobuki Tokura

Syst. Comput. Jpn., 1985

Descriptive powers of synchronized shuffle grammars and synchronized production systems.

Toshiro Araki, Hirotaka Uoi, Shoji Kosai, Nobuki Tokura

Syst. Comput. Jpn., 1985

1984

Concurrent C: A Programming Language for Distributed Multiprocessor Systems.

Yoshihiro Tsujino, M. Ando, Toshiro Araki, Nobuki Tokura

Softw. Pract. Exp., 1984

1981

Relations of Flow Languages to Petri Net Languages.

Toshiro Araki, Toyohiko Kagimasa, Nobuki Tokura

Theor. Comput. Sci., 1981

Flow Languages Equal Recursively Enumerable Languages.

Toshiro Araki, Nobuki Tokura

Acta Informatica, 1981

1980

Specification of schedulers with algebraic specification techniques.

Kouichi Wada, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura

Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980

1977

Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets.

Toshiro Araki, Tadao Kasami

Theor. Comput. Sci., 1977

1976

Some Decision Problems Related to the Reachability Problem for Petri Nets.

Toshiro Araki, Tadao Kasami

Theor. Comput. Sci., 1976