A Language-Based Approach To Protocol Implementation

A Language-Based Approach To Protocol Implementation (1993)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Mark Bert Abbott , Mark Bert Abbott

Citations:

55 - 3 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Language-Based Approach To Protocol Implementation	user correction - Legacy Corrections
AUTHOR NAME	Mark Bert Abbott	SVM HeaderParse 0.1
AUTHOR AFFIL	; SCIENCE; THE UNIVERSITY OF ARIZONA	SVM HeaderParse 0.2
AUTHOR ADDR	Tucson, Arizona 85721	SVM HeaderParse 0.1
AUTHOR NAME	Mark Bert Abbott	SVM HeaderParse 0.1
AUTHOR AFFIL	; SCIENCE; THE UNIVERSITY OF ARIZONA	SVM HeaderParse 0.2
AUTHOR ADDR	Tucson, Arizona 85721	SVM HeaderParse 0.2
ABSTRACT	: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 CHAPTER 1: INTRODUCTION : : : : : : : : : : : : : : : : : : : : : : : : : : 17 1.1 Introduction to Network Software : : : : : : : : : : : : : : : : : : : : : 17 1.2 Network Software is Evolving : : : : : : : : : : : : : : : : : : : : : : : 20 1.3 Existing Support for Network Software Development : : : : : : : : : : : 21 1.3.1 Protocol Frameworks : : : : : : : : : : : : : : : : : : : : : : 21 1.3.2 Formal Techniques : : : : : : : : : : : : : : : : : : : : : : : : 22 1.4 New Strategies for Supporting Protocol Development : : : : : : : : : : : 23 1.4.1 Simplifying Protocol Development by Imposing Constraints : : 24 1.4.2 Language Support for Protocol Development : : : : : : : : : : 25 1.5 Morpheus : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 26 1.5.1 Abstraction : : : : : : : : : : : : : : : : : : : : : : : : : : : : 26 1.5.2 Modularity : : : : : : : : : : : : : : : : : : : : : : : : : : : : ...	user correction - Legacy Corrections
YEAR	1993	user correction - Legacy Corrections
CITATIONS	35 found	ParsCit 1.0