Specifying and Verifying Protocols Represented as Abstract Programs (English)
- New search for: Hailpern, Brent T.
- New search for: Hailpern, Brent T.
In:
Computer Network Architectures and Protocols
;
607-623
;
1982
- Article/Chapter (Book) / Electronic Resource
-
Title:Specifying and Verifying Protocols Represented as Abstract Programs
-
Contributors:Hailpern, Brent T. ( author )
-
Published in:Applications of Communications Theory ; 607-623
-
Publisher:
- New search for: Springer US
-
Place of publication:Boston, MA
-
Publication date:1982-01-01
-
Size:17 pages
-
ISBN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
The Structure of Computer NetworksGreen, Paul E. Jr. et al. | 1982
- 33
-
A Standard Layer ModelZimmermann, Hubert et al. | 1982
- 57
-
Physical Interfaces and ProtocolsBertine, H. V. et al. | 1982
- 87
-
Character-Oriented Link ControlConard, James W. et al. | 1982
- 111
-
Bit-Oriented Data Link ControlCarlson, David E. et al. | 1982
- 145
-
Multiaccess Link ControlTobagi, Fouad A. et al. | 1982
- 195
-
Circuit-Switched Network LayerFolts, Harold C. et al. | 1982
- 213
-
Packet-Switched Network LayerRybczynski, Antony et al. | 1982
- 239
-
Packet-Switched Network Layer for Short MessagesFolts, Harold C. et al. | 1982
- 249
-
DNA—The Digital Network ArchitectureWecker, Stuart et al. | 1982
- 297
-
Path Control—The Network Layer of System Network ArchitectureAtkins, James D. et al. | 1982
- 327
-
Routing ProtocolsSchwartz, Mischa / Stern, Thomas E. et al. | 1982
- 361
-
Flow Control ProtocolsGerla, Mario / Kleinrock, Leonard et al. | 1982
- 415
-
DCNA Higher-Layer ProtocolsToda, Iwao et al. | 1982
- 437
-
Terminal Support ProtocolsDay, John D. et al. | 1982
- 459
-
SNA Higher-Layer ProtocolsHoberecht, Verlin L. et al. | 1982
- 483
-
Videotex Terminal ProtocolsGreen, Paul E. Jr. et al. | 1982
- 511
-
Internetwork Protocol ApproachesPostel, Jonathan B. et al. | 1982
- 527
-
A Specific Internetwork Architecture (Pup)Boggs, David R. / Shoch, John F. / Taft, Edward A. / Metcalfe, Robert M. et al. | 1982
- 561
-
A Survey of Formal MethodsBochmann, Gregor V. / Sunshine, Carl A. et al. | 1982
- 579
-
Protocol Representation with Finite State ModelsDanthine, André A. S. et al. | 1982
- 607
-
Specifying and Verifying Protocols Represented as Abstract ProgramsHailpern, Brent T. et al. | 1982
- 625
-
A Hybrid Model and the Representation of Communication ServicesBochmann, Gregor V. et al. | 1982
- 645
-
Protocol Analysis and Synthesis using a State Transition ModelZafiropulo, Pitro / West, Colin H. / Rudin, Harry / Cowan, D. D. / Brand, Daniel et al. | 1982
- 671
-
Executable Representation and Validation of SNASchultz, Gary D. / Rose, David B. / West, Colin H. / Gray, James P. et al. | 1982