Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)

Autor: Isobe, Yoshinao, Nakada, Hidemoto, Sato, Yutaka, Ohmaki, Kazuhito

Publikováno v: 数理解析研究所講究録. 996:39-53

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::29892ccc7abbaa91a7344887f47fb268
http://hdl.handle.net/2433/61242

Efficiency of Concurrent Processing of Sort Using CSP.

Autor: Shiono, Yasunori, Noguchi, Shohei, Mochida, Mitsumasa, Sumida, Tomoo, Mori, Hideki, Ohmaki, Kazuhito, Tsuchida, Kensei

Publikováno v: 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing; 1/ 1/2012, p524-529, 6p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

TERM: A parallel executable graph reduction machine for equational language

Autor: Ohmaki, Kazuhito, Tomura, Satoru, Inoue, Katsuro, Ito, Toshio, Ito, Keiichi, Torii, Koji

Publikováno v: In Parallel Computing 1989 11(1):1-16

Design and Implementation of an Application Interface for LOTOS Processors

Autor: Ohmaki, Kazuhito, Tsuji, Hirosato, Yamanaka, Kenjiroh, Sato, Yoshikazu, Itabashi, Yoshinori, Shimizu, Toshihiko

Publikováno v: In Formal Description Techniques, IV 1992:345-360