dblp.uni-trier.dewww.uni-trier.de

Toshiro Araki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1M. Ando [6]
2Kenichi Hagihara [3]
3Toyohiko Kagimasa [4]
4Tadao Kasami [1] [2]
5Nobuki Tokura [3] [4] [5] [6]
6Yoshihiro Tsujino [6]
7Kouichi Wada [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)