Searching for authors named "Kenichi Taniguchi" – sorted by Relevance.
-
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers
- 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
- , 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
- 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
- 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
- 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
- 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
- , 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
- 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
- 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
- Akio Nakata, Teruo Higashino and Kenichi Taniguchi Department of Information and Computer Science
- Cited by 2 (2 self) – Add To MetaCart

