|
СТ |
Network-Transparent Object Naming and Locating in the GALAXY Distributed Operating System |
1991 |
Sinha P. K., Shimizu K., Utsunomiya N., Nakano H., Maekawa M. |
|
|
|
J. Information Processing |
10.04.1992 |
|
СТ |
The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property |
1994 |
Nakano H. |
|
|
|
Lecture Notes in Computer Science |
14.05.1994 |
|
СТ |
Comparison of OOA and Real-Time SA - From the Experiment of Analyzing an Image Filing System |
1994 |
Yamashiro A., Nakano H., Yoshida K., Saito E. |
|
|
|
OOPS Messenger |
14.06.1994 |
|
СТ |
A New Approach for Routing in Arrangement Graphs and its Performance Evaluation |
1995 |
Yamakawa P. M., Ebara H., Nakano H. |
|
|
|
Lecture Notes in Computer Science |
14.04.1995 |
|
СТ |
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness |
2001 |
Nakano H. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
