Bussiness ManagementMBAstrategyHuman ResourceMarketingHospitalityE-commerceInternational Tradingproject managementmedia managementLogisticsFinanceAccountingadvertisingLawBusiness LawEducationEconomicsBusiness Reportbusiness planresearch proposal
英语论文题目英语教学英语论文商务英语英语论文格式商务英语翻译广告英语商务英语商务英语教学英语翻译论文英美文学英语语言学文化交流中西方文化差异英语论文范文英语论文开题报告初中英语教学英语论文文献综述英语论文参考文献
ResumeRecommendation LetterMotivation LetterPSapplication letterMBA essayBusiness Letteradmission letter Offer letter
澳大利亚论文英国论文加拿大论文芬兰论文瑞典论文澳洲论文新西兰论文法国论文香港论文挪威论文美国论文泰国论文马来西亚论文台湾论文新加坡论文荷兰论文南非论文西班牙论文爱尔兰论文
小学英语教学初中英语教学英语语法高中英语教学大学英语教学听力口语英语阅读英语词汇学英语素质教育英语教育毕业英语教学法
英语论文开题报告英语毕业论文写作指导英语论文写作笔记handbook英语论文提纲英语论文参考文献英语论文文献综述Research Proposal代写留学论文代写留学作业代写Essay论文英语摘要英语论文任务书英语论文格式专业名词turnitin抄袭检查
temcet听力雅思考试托福考试GMATGRE职称英语理工卫生职称英语综合职称英语职称英语
经贸英语论文题目旅游英语论文题目大学英语论文题目中学英语论文题目小学英语论文题目英语文学论文题目英语教学论文题目英语语言学论文题目委婉语论文题目商务英语论文题目最新英语论文题目英语翻译论文题目英语跨文化论文题目
日本文学日本语言学商务日语日本历史日本经济怎样写日语论文日语论文写作格式日语教学日本社会文化日语开题报告日语论文选题
职称英语理工完形填空历年试题模拟试题补全短文概括大意词汇指导阅读理解例题习题卫生职称英语词汇指导完形填空概括大意历年试题阅读理解补全短文模拟试题例题习题综合职称英语完形填空历年试题模拟试题例题习题词汇指导阅读理解补全短文概括大意
论文作者:留学生论文论文属性:硕士毕业论文 dissertation登出时间:2011-05-27编辑:anterran点击率:7714
论文字数:340387论文编号:org201105271205083700语种:英语 English地区:英国价格:$ 44
关键词:DESIGNVALIDATIONOF COMPUTER PROTOCOLS代写留学生计算机专业博士论文
DESIGN AND VALIDATIONOF COMPUTER PROTOCOLS
Gerard J. Holzmann
Bell Laboratories
Murray Hill, New Jersey 07974
PRENTICE-HALL
Englewood Cliffs, New Jersey 07632
代写留学生博士论文Prentice Hall Software Series
Brian W. Kernighan, Advisor
Copyright 1991 by Lucent Technologies, Bell Laboratories, Incorporated.
This book is typeset in Times Roman by the author,
using an Linotronic 200P phototypesetter and a DEC VAX 8550
running the 10th Edition of the UNIXoperating system.
DEC and VAX are trademarks of Digital Equipment Corporation.
UNIX is a registered trademark of AT&T.
All rights reserved.
No part of this publication may be reproduced, stored in a retrieval system,
or transmitted, in any form or by any means, electronic,
mechanical, photocopying, recording, or otherwise,
without the prior written permission of the publisher.
Printed in the United States of America
10 9 8 7 6 5 4 3 2 1
Prentice-Hall International (UK) Limited, London
Prentice-Hall of Australia Pty. Limited, Sydney
Prentice-Hall Canada Inc., Toronto
Prentice-Hall Hispanoamericana, S.A., Mexico
Prentice-Hall of India Private Limited, New Delhi
Prentice-Hall of Japan, Inc., Tokyo
Simon & Schuster Asia Pte. Ltd., Singapore
Editora Prentice-Hall do Brasil, Ltda., Rio de Janeiro
CONTENTS
Foreword ix
Preface xi
Part I — Basics
1. Introduction
1.1 Early Beginnings 1
1.2 The First Networks 9
1.3 Protocols as Languages 12
1.4 Protocol Standardization 13
1.5 Summary 15
Exercises 16
Bibliographic Notes 16
2. Protocol Structure
2.1 Introduction 19
2.2 The Five Elements of a Protocol 21
2.3 An Example 22
2.4 Service and Environment 26
2.5 Vocabulary and Format 32
2.6 Procedure Rules 35
2.7 Structured Protocol Design 35
2.8 Ten Rules of Design 38
2.9 Summary 39
Exercises 39
Bibliographic Notes 40
3. Error Control
3.1 Introduction 43
3.2 Error Model 44
3.3 Types of Transmission Errors 46
3.4 Redundancy 46
3.5 Types of Codes 47
3.6 Parity Check 48
3.7 Error Correction 48
3.8 A Linear Block Code 52
3.9 Cyclic Redundancy Checks 56
3.10 Arithmetic Checksum 63
3.11 Summary 64
Exercises 64
Bibliographic Notes 65
4. Flow Control
4.1 Introduction 66
4.2 Window Protocols 70
4.3 Sequence Numbers 74
4.4 Negative Acknowledgments 80
4.5 Congestion Avoidance 83
4.6 Summary 86
Exercises 87
Bibliographic Notes 88
Part II — Specification and Modeling
5. Validation Models
5.1 Introduction 90
5.2 Processes, Channels, Variables 91
5.3 Executability of Statements 91
5.4 Variables and Data Types 92
5.5 Process Types 93
5.6 Message Channels 96
5.7 Control Flow 100
5.8 Examples 102
5.9 Modeling Procedures and Recursion 104
5.10 Message Type Definitions 104
5.11 Modeling Timeouts 105
5.12 Lynch’s Protocol Revisited 106
5.13 Summary 107
Exercises 108
Bibliographic Notes 109
6. Correctness Requirements
6.1 Introduction 111
6.2 Reasoning about Behavior 112
6.3 Assertions 114
6.4 System Invariants 115
6.5 Deadlocks 117
6.6 Bad Cycles 118
6.7 Temporal Claims 119
6.8 Summary 125
Exercises 126
Bibliographic Notes 127
7. Protocol Design
7.1 Introduction 128
7.2 Service Specification 129
7.3 Assumptions about the Channel 130
7.4 Protocol Vocabulary 131
7.5 Messsage Format本论文由英语论文网提供整理,提供论文代写,英语论文代写,代写论文,代写英语论文,代写留学生论文,代写英文论文,留学生论文代写相关核心关键词搜索。