The Community for Technology Leaders
Proceedings of International Conference on Network Protocols (1995)
Tokyo, Japan
Nov. 7, 1995 to Nov. 10, 1995
ISBN: 0-8186-7216-1
TABLE OF CONTENTS

Committees (PDF)

pp. xii

Reviewers (PDF)

pp. xiii
Opening Session

Opening Session (PDF)

pp. null
Keynote Address I
Session 1A: Formal Methods, Co-Chairs: David Lee, Koji Okada

Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions (Abstract)

Hong Liu , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
R.E. Miller , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 6

Verification and diagnosis of testing equivalence and reduction relation (Abstract)

Z.P. Tao , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
G. von Bochmann , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
R. Dssouli , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
pp. 14

Similarity for reuse of specifications in communication software development (Abstract)

U. Yamamoto , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
E.S. Lee , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
N. Shiratori , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
pp. 22
Session 1B: ATM Bandwidth Assignments, Co-Chairs: Kenichiro Mori, Wei Zhao

A dynamic bandwidth allocation scheme for multimedia data over ATM networks (Abstract)

Han Zhou , VSI Group, Fidelity Investments, Boston, MA, USA
C.H. Chang , VSI Group, Fidelity Investments, Boston, MA, USA
pp. 32

Simulation study of a run-time bandwidth assignment technique for delay sensitive traffic in high-speed network (Abstract)

I. Ryoo , Fac. of Eng., Tokyo Univ., Japan
H. Aida , Fac. of Eng., Tokyo Univ., Japan
T. Saito , Fac. of Eng., Tokyo Univ., Japan
pp. 40

On guaranteed bandwidth channels (Abstract)

S. Chaudhry , Syracuse Univ., NY, USA
M. Raziuddin , Syracuse Univ., NY, USA
A. Choudhary , Syracuse Univ., NY, USA
pp. 47
Session 2A: Protocol Synthesis, Co-Chairs: Eric W.S. Chen, Yutaka Hiragawa

A protocol synthesis algorithm: a relational approach (Abstract)

K. Zeroual , Dept. de Math. et d'Inf., Sherbrooke Univ., Que., Canada
M. El Yassini , Dept. de Math. et d'Inf., Sherbrooke Univ., Que., Canada
pp. 58

Extension of protocol synthesis to structured entities (Abstract)

B.B. Bista , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
A. Togashi , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
N. Shiratori , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
pp. 66

Protocol synthesis from timed and structured specifications (Abstract)

A. Nakata , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
T. Higashino , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
K. Taniguchi , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
pp. 74
Session 2B: ATM Switch Design, Co-Chairs: Yukio Hiramatsu, Han Zhou

Design and implementation of a multicast-buffer ATM switch (Abstract)

Jin Li , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
Chuan-Lin Wu , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 84

Design of ATM switch using hypercube with distributed shared input buffers and dedicated output buffers (Abstract)

D.C.W. Pao , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, Hong Kong
W.N. Chau , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 92

Performance analysis of an ATM switch with multiple paths (Abstract)

Byungho Kim , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Boseob Kwon , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Jinchun Kim , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
H. Yoon , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Jungwan Cho , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 100
Session 3A: Formal Description Techniques, Co-Chairs: Yanghee Choi, Yoshiaki Kakuda

Validation of distributed algorithms and protocols (Abstract)

Qiang Gao , Int. Validation & Testing Corp., Ottawa, Ont., Canada
R. Groz , Int. Validation & Testing Corp., Ottawa, Ont., Canada
G. von Bochmann , Int. Validation & Testing Corp., Ottawa, Ont., Canada
J. Dargham , Int. Validation & Testing Corp., Ottawa, Ont., Canada
E.H. Htite , Int. Validation & Testing Corp., Ottawa, Ont., Canada
pp. 110

Protocol visualization using LOTOS multi-rendezvous mechanism (Abstract)

K. Yasumoto , Dept. of Inf., Process. & Manage., Shiga Univ., Japan
T. Higashino , Dept. of Inf., Process. & Manage., Shiga Univ., Japan
T. Matsuura , Dept. of Inf., Process. & Manage., Shiga Univ., Japan
K. Taniguchi , Dept. of Inf., Process. & Manage., Shiga Univ., Japan
pp. 118

Protocol synthesis using basic Lotos and global variables (Abstract)

A. Khoumsi , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
G. von Bochmann , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
pp. 126
Session 3B: ATM Traffic Control, Co-Chairs: Kuninobu Tanno, Hyunsoo Yoon

A fuzzy decision maker for source traffic control in high speed networks (Abstract)

V. Catania , Istituto di Inf. e Telecommun., Catania Univ., Italy
G. Ficili , Istituto di Inf. e Telecommun., Catania Univ., Italy
S. Palazzo , Istituto di Inf. e Telecommun., Catania Univ., Italy
D. Panno , Istituto di Inf. e Telecommun., Catania Univ., Italy
pp. 136

ATM admission models of stochastic high level Petri nets based on hierarchical modeling (Abstract)

Chuang Lin , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
S.T. Chanson , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
pp. 144

Using traffic regulation to meet end-to-end deadlines in ATM LANs (Abstract)

A. Raha , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
S. Kamat , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
W. Zhao , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 152
Plenary Session

Plenary Session (PDF)

pp. null
Keynote Address II
Session 4A: Transport Protocols, Co-Chairs: Samuel Chanson, Hidetaka Miyake

A robust transport protocol for run-time fault detection (Abstract)

G. Noubir , Dept. of Comput. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
K. Vijayananda , Dept. of Comput. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
H.J. Nussbaumer , Dept. of Comput. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
pp. 164

Implementation method of high speed protocol as transport library (Abstract)

Y. Miyake , KDD R&D Labs., Saitama, Japan
T. Kato , KDD R&D Labs., Saitama, Japan
K. Suzuki , KDD R&D Labs., Saitama, Japan
pp. 172

The interaction between the V protocol and the Q.293I protocol for the interactive video network (Abstract)

M.J. McPheters , AT&T Bell Labs., Naperville, IL, USA
H.T. Nguyen , AT&T Bell Labs., Naperville, IL, USA
M.T. Midani , AT&T Bell Labs., Naperville, IL, USA
pp. 180
Session 4B: Wireless Clommunications, Co-Chairs: Shiro Sakata, Son T. Vuong

A wireless link protocol: design by refinement (Abstract)

M.G. Gouda , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
S. Paul , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 192

Mobile real-time communications in FDDI networks (Abstract)

Yibin Yang , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Ten-Hwang Lai , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Ming-Tsan Liu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 201

Multimedia transport in multihop dynamic packet radio networks (Abstract)

C.R. Lin , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
M. Gerla , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 209
Session 5A: Information Networks, Co-Chairs: Anish Arora, Hidenori Nakazato

A society of cooperative agents on the information network: towards intelligent information gathering (Abstract)

R. Okada , Dept. of Inf. Sci., Tohoku Univ., Sendai, Japan
Eun-Seok Lee , Dept. of Inf. Sci., Tohoku Univ., Sendai, Japan
N. Shiratori , Dept. of Inf. Sci., Tohoku Univ., Sendai, Japan
pp. 218

Distributed protocol for selective intra-group communication (Abstract)

T. Tachikawa , Dept. of Comput. & Syst. Eng., Tokyo Denki Univ., Saitama, Japan
M. Takizawa , Dept. of Comput. & Syst. Eng., Tokyo Denki Univ., Saitama, Japan
pp. 234
Session 5B: Multimedia Synchronization

Multimedia synchronization for live presentation using the N-buffer approach (Abstract)

Chung-Ming Huang , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
Ruey-Yang Lee , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
pp. 244

A synchronization and compensation protocol for multimedia communication systems (Abstract)

Chao-Hui Wu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Liang-Seng Koh , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M.T. Liu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 252

Petri net models for describing multimedia synchronization requirements (Abstract)

S. Vuong , Dept. of Electr. Eng. & Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
K. Cooper , Dept. of Electr. Eng. & Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
M. Ito , Dept. of Electr. Eng. & Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
pp. 260
Session 6A: Internetworking

TCP/IP and the European ATM pilot (Abstract)

O. Bonaventure , Inst. d'Electr. Montefiore, Liege Univ., Belgium
A. Danthine , Inst. d'Electr. Montefiore, Liege Univ., Belgium
E. Klovning , Inst. d'Electr. Montefiore, Liege Univ., Belgium
A. Danthine , Inst. d'Electr. Montefiore, Liege Univ., Belgium
pp. 270

Internetworking between OSI and TCP/IP network managements with security features (Abstract)

Taeyeon Kim , Dept. of Comput. Sci., Chonnam Nat. Univ., Kwangju, South Korea
Bongnam Noh , Dept. of Comput. Sci., Chonnam Nat. Univ., Kwangju, South Korea
pp. 278

Networking abstractions and protocols under variable length messages (Abstract)

S. Milliner , Sch. of Inf. Syst., Queensland Univ., Brisbane, Qld., Australia
A. Delis , Sch. of Inf. Syst., Queensland Univ., Brisbane, Qld., Australia
pp. 286
Session 6B: Multimedia Protocol Design

Service and connection management architecture for distributed multimedia applications (Abstract)

Choong Seon Hong , Fac. of Sci. & Technol., Keio Univ., Yokohama, Japan
H. Abe , Fac. of Sci. & Technol., Keio Univ., Yokohama, Japan
D. Kashiwa , Fac. of Sci. & Technol., Keio Univ., Yokohama, Japan
Y. Matsushita , Fac. of Sci. & Technol., Keio Univ., Yokohama, Japan
pp. 296

A call model for multimedia multiuser communication platform (Abstract)

Seungchul Park , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Yanghee Choi , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 305

Protocol architectures for delivering application specific quality of service (Abstract)

P.K. Jain , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
N.C. Hutchinson , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
S.T. Chanson , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
pp. 313
Plenary Session

Plenary Session (PDF)

pp. null
Keynote Address III
Session 7A: Protocol Design

A timing-based schema for stabilizing information exchange (Abstract)

A. Arora , Dept. of Comput. Sci., Ohio State Univ., Columbus, OH, USA
D.M. Poduska , Dept. of Comput. Sci., Ohio State Univ., Columbus, OH, USA
pp. 324

A neural network approach to multicast routing in real-time communication networks (Abstract)

C. Pornavalai , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
G. Chakraborty , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
N. Shiratori , Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
pp. 332

A routing protocol for finding two node-disjoint paths in computer networks (Abstract)

K. Ishida , Dept. of Inf. Sci., Hiroshima Prefectural Univ., Japan
Y. Kakuda , Dept. of Inf. Sci., Hiroshima Prefectural Univ., Japan
T. Kikuno , Dept. of Inf. Sci., Hiroshima Prefectural Univ., Japan
pp. 340
Session 7B: Multimedia LANs

Buffer insertion/self-token (BIST) protocol for multimedia LANs (Abstract)

K. Tanno , Fac. of Eng., Yamagata Univ., Japan
A. Koyama , Fac. of Eng., Yamagata Univ., Japan
T. Taketa , Fac. of Eng., Yamagata Univ., Japan
S. Noguchi , Fac. of Eng., Yamagata Univ., Japan
pp. 350

Nonpreemptive scheduling algorithms for multimedia communication in local area networks (Abstract)

S. Eun , Dept. of Inf. Commun. Eng., Han Nam Univ., Taejon, South Korea
J. Kim , Dept. of Inf. Commun. Eng., Han Nam Univ., Taejon, South Korea
B. Kim , Dept. of Inf. Commun. Eng., Han Nam Univ., Taejon, South Korea
H. Yoon , Dept. of Inf. Commun. Eng., Han Nam Univ., Taejon, South Korea
S.R. Maeng , Dept. of Inf. Commun. Eng., Han Nam Univ., Taejon, South Korea
pp. 356

A reliable ordered delivery protocol for interconnected local area networks (Abstract)

D.A. Agarwal , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
L.E. Moser , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
P.M. Melliar-Smith , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
R.K. Budhia , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 365

Author Index (PDF)

pp. 375
82 ms
(Ver 3.3 (11022016))