Searching...
Advanced Search
Publication
1991
Issue No. 4 - April
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
IEEE Transactions on Computers
April 1991 (vol. 40 no. 4)
ISSN: 0018-9340
Table of Contents
Introduction
Introduction
(Abstract)
M.T. Liu
pp. 373-375
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
PAPERS
Constructing Protocols with Alternative Functions
(Abstract)
H.-A. Lin
pp. 376-386
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Formalization of Protocol Engineering Concepts
(Abstract)
P.W. King
pp. 387-403
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Specification of Real-Time Broadcast Networks
(Abstract)
P. Jain
S.S. Lam
pp. 404-422
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Broadcast Channels in Estelle
(Abstract)
S.C. Chamberlain
P.D. Amer
pp. 423-436
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Protocol for Multirendezvous of LOTOS Processes
(Abstract)
R. Sisto
L. Ciminiera
A. Valenzano
pp. 437-447
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Stabilizing Communication Protocols
(Abstract)
M.G. Gouda
N.J. Multari
pp. 448-458
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
t An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis
(Abstract)
Y. Kakuda
H. Saito
pp. 459-467
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Synthesis of Communication Protocols: Survey and Assessment
(Abstract)
R.L. Probert
K. Saleh
pp. 468-476
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A User Friendly Software Environment for Protocol Synthesis
(Abstract)
N. Shiratori
Y.-X. Zhang
K. Takahashi
S. Noguchi
pp. 477-486
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Synthesizing a Protocol Converter From Executable Protocol Traces
(Abstract)
M. Rajagopal
R.E. Miller
pp. 487-499
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
(Abstract)
E. Heck
D. Hogrefe
B. Muller-Clostermann
pp. 500-513
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Strategic Testing Environment with Formal Description Techniques
(Abstract)
K. Katsuyama
S. Sato
T. Nakakawaji
T. Mizuno
pp. 514-525
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Well-Defined Estelle Specification for the Automatic Test Generation
(Abstract)
D.Y. Lee
J.Y. Lee
pp. 526-542
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Test Generation from LOTOS Specifications
(Abstract)
P. Tripathy
B. Sarikaya
pp. 543-552
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
SDE: Incremental Specification and Development of Communications Software
(Abstract)
H. Ichikawa
M. Itoh
J. Kato
A. Takura
M. Shibasaki
pp. 553-561
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The L.0 Language and Environment for Protocol Simulation and Prototyping
(Abstract)
E.J. Cameron
D.M. Cohen
T.M. Guinther
W.M. Keese, Jr.
L.A. Ness
C. Norman
H.N. Srinidhi
pp. 562-571
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
