Specifying and Verifying Protocols Represented as Abstract Programs (Englisch)
- Neue Suche nach: Hailpern, Brent T.
- Neue Suche nach: Hailpern, Brent T.
In:
Computer Network Architectures and Protocols
;
607-623
;
1982
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Specifying and Verifying Protocols Represented as Abstract Programs
-
Beteiligte:Hailpern, Brent T. ( Autor:in )
-
Erschienen in:Applications of Communications Theory ; 607-623
-
Verlag:
- Neue Suche nach: Springer US
-
Erscheinungsort:Boston, MA
-
Erscheinungsdatum:01.01.1982
-
Format / Umfang:17 pages
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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