通信与移动系统 兀演算_12402344

《通信与移动系统 兀演算_12402344》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

155

156

157

158

159

160

161

162

163

164

165

166

167

168

169

170

171

172

173

174

175[GeneralInformation]书名=通信与移动系统兀演算作者=页数=160SS号=12402344出版日期=

176书名前言目录第一部分　通信系统第1章引论第2章自动机的行为2.1自动机2.2　正规集2.3　自动机的语言2.4　确定性和非确定性2.5　黑盒或反应系统2.6　小结第3章　顺序进程和互模拟3.1　标号迁移系统3.2　强模拟3.3　强互模拟3.4　顺序进程表达式3.5　布尔缓冲区3.6　调度器3.7　计数器3.8　小结第4章　并发进程与交互4.1　标号和流程图4.2　观察和交互4.3　并发进程表达式4.4　结构同余4.5　反应规则4.6　小结第5章　迁移和强等价5.1　标号迁移5.2　强互模拟及其应用5.3　强等价的代数性质5.4　同余5.5　小结第6章　观察等价：理论6.1　观察6.2　弱互模拟6.3　方程解的唯一性6.4　小结第7章　观察等价：例子7.1　彩票机7.2　加工车间7.3　调度器7.4　缓冲区7.5　栈和计数器

1777.6　讨论第二部分　π-演算第8章　论移动性8.1　有限的移动性8.2　移动电话8.3　移动性的其他例子8.4　小结第9章π-演算与交互9.1　名字、动作和进程9.2　结构同余和反应9.3　移动性9.4　多目π-演算9.5递归定义9.6　抽象9.7　小结第10章π-演算的应用10.1　简单的系统10.2唯一使用10.3　再论数据10.4　表编程10.5　持久的和可变的数据第11章类、对象和函数11.1　通道类型的层次结构？11.2　类和赋类11.3　拓展类语言11.4　面向对象程序设计11.5进程和抽象作为消息11.6　函数式计算作为名字传递第12章　承诺与强互模拟12.1　抽象与凝结12.2　承诺的规则12.3　强互模拟，强等价12.4　同余12.5　复制的基本同余性质12.6　资源的复制12.7　小结第13章　观察等价及例子13.1试验13.2　弱互模拟与同余关系13.3　方程解的唯一性13.4　表编程13.5　命令式程序设计13.6可伸缩的缓冲区13.7　λ-演算中的归约第14章　讨论及相关的工作

178参考文献