K. Taniguchi

发表

Emma Middleware : An Application-level Multicast Infrastructure for Multi-party Video Communication

K. Yasumoto, T. Higashino, H. Yamaguchi, 2003 .

Time-Action Alternating Model for Verifying Symbolic Bisimulation Equivalence of Timed Processes(Concurrency Theory and Applications '96)

T. Higashino, K. Taniguchi, A. Nakata, 1997 .

A Method to Convert Concurrent EFSMswith Multi-Rendezvousinto SynchronousSequentialCir cuit

K. Yasumoto, K. Taniguchi, Akira Kit Ajima, 2004 .

An Algebraic Method For Verifying Progress Property of Communication Protocols

Teruo Higashino, Tadao Kasami, Mamoru Fujii, 1988, Software Science and Engineering.

EFFICIENT EXECUTION IN A CLASS OF TERM REWRITING SYSTEMS.

Tadao Kasami, Yuji Sugiyama, Ichiro Suzuki, 1982 .

ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES.

Teruo Higashino, Tadao Kasami, Yuji Sugiyama, 1982 .

On equivalence of safe Petri nets

Tadao Kasami, Yuji Sugiyama, Toshio Matsuura, 1979, FCT.

Implementation of LOTOS Specifications on Distributed Environments and Its Evaluation

Teruo Higashino, Keiichi Yasumoto, Toshio Matsuura, 1999 .

Protocol visualization using LOTOS multi-rendezvous mechanism

Teruo Higashino, Keiichi Yasumoto, Toshio Matsuura, 1995, Proceedings of International Conference on Network Protocols.

A system for the refinements of algebraic specifications and their efficient executions

T. Higashino, K. Taniguchi, T. Higashino, 1991, Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences.

An Algebraic Specification of HDLC Procedures and Its Verification

Teruo Higashino, Tadao Kasami, Yuji Sugiyama, 1984, IEEE Transactions on Software Engineering.

Compiling and Optimizing Methods for the Functional Language ASL/F

Katsuro Inoue, Tadao Kasami, Hiroyuki Seki, 1986, Sci. Comput. Program..

Proof method for correctness of refinements of algebraic specification in abstract sequential machine style

Teruo Higashino, Kenichi Taniguchi, Kozo Okano, 1996, Systems and Computers in Japan.

Specification of real-time systems using a timed automata model with shared variables and verification of partial-deadlock freeness

Teruo Higashino, Akira Yamamoto, Kenichi Taniguchi, 1999, Proceedings of the 1999 ICPP Workshops on Collaboration and Mobile Computing (CMC'99). Group Communications (IWGC). Internet '99 (IWI'99). Industrial Applications on Network Computing (INDAP). Multime.

Protocol syntheses in a Petri net model with registers and its application

Hirozumi Yamaguchi, Teruo Higashino, Kenichi Taniguchi, 1998 .

Extension of SMIL with QoS control and its implementation

Teruo Higashino, Keiichi Yasumoto, Toshio Matsuura, 2000, 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532).

Integration of QoS guarantees into SMIL and its flexible implementation

Teruo Higashino, Keiichi Yasumoto, Toshio Matsuura, 2000, 2000 Eighth International Workshop on Quality of Service. IWQoS 2000 (Cat. No.00EX400).

Synthesis of protocol entities specifications from service specifications in a Petri net model with registers

Hirozumi Yamaguchi, Teruo Higashino, Kenichi Taniguchi, 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

Software process description using LOTOS and its enaction

Teruo Higashino, Keiichi Yasumoto, Kenichi Taniguchi, 1994, Proceedings of 16th International Conference on Software Engineering.

LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic

Teruo Higashino, Akio Nakata, Kenichi Taniguchi, 1993, FORTE.

Title On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$

T. Kasami, H. Seki, K. Taniguchi, 2021 .

Formal design verification for correctness of pipelined microprocessors with out-of-order instruction execution

Teruo Higashino, Takashi Takenaka, Kenichi Taniguchi, 1999, Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198).

Automatic generation of extended UIO sequences for communication protocols in an EFSM model

Teruo Higashino, Masahiro Higuchi, Xiangdong Li, 1995 .

A selection technique for replicated multicast video servers

Hirozumi Yamaguchi, Teruo Higashino, Keiichi Yasumoto, 2002, Proceedings International Conference on Parallel Processing.

Symbolic model checking of extended finite state machines with linear constraints over integer variables

Teruo Higashino, Takashi Takenaka, Kenichi Taniguchi, 2006, Syst. Comput. Jpn..

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization

Teruo Higashino, Keiichi Yasumoto, Kenichi Taniguchi, 2000, Proceedings 37th Design Automation Conference.

A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit(Special Section on Concurrent Systems Technology)

Teruo Higashino, Keiichi Yasumoto, Kenichi Taniguchi, 1998 .

Hardware synthesis from protocol specifications in LOTOS

Teruo Higashino, Keiichi Yasumoto, Kenichi Taniguchi, 1998, FORTE.