Search the dblp DataBase

Publications of Author

1. Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
   A Calculus of Countable Broadcasting Systems. [Citation Graph (0, 0)][DBLP]
   AMAST, 1995, pp:489-503 [Conf]
   
2. Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
   Approximative Analysis by Process Algebra with Graded Spatial Actions. [Citation Graph (0, 0)][DBLP]
   AMAST, 1996, pp:336-350 [Conf]
   
3. Yoshinao Isobe, Kazuhito Ohmaki
   A process logic for distributed system synthesis . [Citation Graph (0, 0)][DBLP]
   APSEC, 2000, pp:62-69 [Conf]
   
4. Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
   Eventuality in LOTOS with a Disjunction Operator. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:263-281 [Conf]
   
5. Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi
   A LOTOS Simulator in OBJ. [Citation Graph (0, 0)][DBLP]
   FORTE, 1990, pp:535-538 [Conf]
   
6. Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu
   Design and Implementation of an Application Interface for LOTOS Processors. [Citation Graph (0, 0)][DBLP]
   FORTE, 1991, pp:345-360 [Conf]
   
7. Kazuhito Ohmaki
   Open Source Software Research Activities in AIST towards Secure Open Systems. [Citation Graph (0, 0)][DBLP]
   HASE, 2002, pp:37-42 [Conf]
   
8. Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii
   Early Experiences with a Multi-Display Programming Environment. [Citation Graph (0, 0)][DBLP]
   ICSE, 1982, pp:422-423 [Conf]
   
9. Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki
   An Experimental Analysis for Classifying Specification Processes. [Citation Graph (0, 0)][DBLP]
   SEKE, 1993, pp:231-234 [Conf]
   
10. Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii
    A New Programming Environment With a Multi-Display Terminal and Early Experiences With It. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1984, v:9, n:1, pp:39-49 [Journal]