Searching for authors named "Kenichi Taniguchi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers
by Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi — 1995 — Proc. ICDCS-15
… with Registers Hirozumi Yamaguchi Kozo Okano Teruo Higashino Kenichi Taniguchi Department of Information…
Cited by 8 (5 self) – Add To MetaCart

Hardware synthesis from protocol specifications in LOTOS
by Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi — 1998 — In Proc. 1998 IFIP Joint Intl. Conf. on Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV’98
… , Teruo Higashino 2 , and Kenichi Taniguchi 2 1Dept. of Information Processing and Management, Shiga Univ…
Cited by 4 (2 self) – Add To MetaCart

Protocol Synthesis from Time Petri Net Based Service Specifications
by Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi — 1997 — Proc. of 1997 Int. Conf. on Parallel and Distributed Systems (ICPADS'97
… Teruo Higashino Kenichi Taniguchi Department of Information and Computer Sciences Osaka University…
Cited by 5 (4 self) – Add To MetaCart

Protocol Synthesis from Timed and Structured Specifications
by Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 1995 — Proc. of 1995 Int. Conf. on Network Protocols (ICNP'95
…Protocol Synthesis from Timed and Structured Specifications Akio Nakata Teruo Higashino Kenichi…
Cited by 7 (3 self) – Add To MetaCart

Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence
by Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 1996 — in Proc. of Joint Int'l Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96
… Equivalence Akio Nakata, Teruo Higashino, and Kenichi Taniguchi Department of Information and Computer…
Cited by 3 (3 self) – Add To MetaCart

Protocol Visualization using LOTOS Multi-Rendezvous Mechanism
by Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi — 1995
… yy Toshio Matsuura yyy Kenichi Taniguchi yy y Department of Information Processing and Management…
Cited by 2 (2 self) – Add To MetaCart

A compiler to implement LOTOS specifications on distributed environments
by Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi — 2001 — Computer Networks
… , Teruo Higashino ¡ and Kenichi Taniguchi ¡ ¢ Dept. of Information Processing and Management, Shiga Univ…
Cited by 3 (3 self) – Add To MetaCart

Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
by Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Kenichi Taniguchi — 1997
… and Kenichi Taniguchi yy y Dept. of Information Processing and Management, Shiga Univ., 1-1-1 Banba, Hikone…
Cited by 1 (1 self) – Add To MetaCart

An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree
by Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi — 2004 — Proc. of ICDCS’04
… Yamaguchi Akihito Hiromori Teruo Higashino Kenichi Taniguchi Graduate School of Information Science…
Cited by 3 (1 self) – Add To MetaCart

LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic
by Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 1993
… Akio Nakata, Teruo Higashino and Kenichi Taniguchi Department of Information and Computer Science…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB