Toshiro Araki

According to our database1, Toshiro Araki
  • authored at least 9 papers between 1976 and 1987.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1987
Descriptive power of synchronized shuffle expressions.
Systems and Computers in Japan, 1987

1985
Real-time shuffle stack automaton.
Systems and Computers in Japan, 1985

Descriptive powers of synchronized shuffle grammars and synchronized production systems.
Systems and Computers in Japan, 1985

1984
Concurrent C: A Programming Language for Distributed Multiprocessor Systems.
Softw., Pract. Exper., 1984

1981
Relations of Flow Languages to Petri Net Languages.
Theor. Comput. Sci., 1981

Flow Languages Equal Recursively Enumerable Languages.
Acta Inf., 1981

1980
Specification of schedulers with algebraic specification techniques.
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.
Theor. Comput. Sci., 1977

1976
Some Decision Problems Related to the Reachability Problem for Petri Nets.
Theor. Comput. Sci., 1976


  Loading...