СТ |
A New OS Architecture for High Performance Communication over ATM Networks |
1995 |
Kitamura H., Taniguchi K., Sakamoto H., Nishida T. |
|
|
|
Lecture Notes in Computer Science |
30.01.1996 |
П |
Enaction of Software Process Description in a Petri Net Model with Registers |
1900 |
Yamaguchi H., Okano K., Higashino T., Taniguchi K. |
|
|
|
|
01.11.1995 |
СТ |
Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model |
1994 |
Yamaguchi H., Okano K., Higashino T., Taniguchi K. |
|
|
|
IEICE Trans. |
22.02.1995 |