新書推薦：
《
五个夸张的数学故事：支持儿童直接建立数学思维
》
售價：HK$
54.9
《
书写中国：从书迹流变溯源中华文明史 尔文智识生活系列 寻根汉字追踪文脉溯源中华理解中国
》
售價：HK$
173.8
《
餐桌边的哲学家：论饮食与人类
》
售價：HK$
52.8
《
经营：稻盛和夫谈原点
》
售價：HK$
86.9
《
魑魅魍魉：我们的心魔和怪物的意义
》
售價：HK$
97.9
《
湘江商潮起：东汉长沙郡商业研究
》
售價：HK$
74.8
《
舰船耐火材料
》
售價：HK$
283.8
《
东亚学（第六辑）
》
售價：HK$
107.8
|
| 內容簡介： |
随着计算机网络和通信技术的发展，对并发分布式系统的研究变得越来越重要。作为一种描述并发计算的模型，进程演算受到广泛研究并被成功应用到实际系统的规范、设计、分析及验证中。近些年来，人们提出概率进程演算用来描述和分析并发系统的量化行为，这要求对概率进程的语义基础进行深入研究。
來源：香港大書城megBookStore,http://www.megbook.com.hk
在邓玉欣*作的《概率进程语义（英文版）》中，以操作语义的方式把进程行为表示成概率标号迁移系统。不同迁移系统通过一些适当的行为等价或前序关系进行比较。
|
| 目錄：
|
1 Introduction
1.1 Background
1.2 Synopsis
References
2 Mathematical Preliminaries
2.1 Lattice Theory
2.2 Induction and Coinduction
2.3 Topological Spaces
2.4 Metric Spaces
2.5 Probability Spaces
2.6 Linear Programming
References
3 Probabilistic Bisimulation
3.1 Introduction
3.2 Probabilistic Labelled Transition Systems
3.3 Lifting Relations
3.4 Justifving the Lifting Operation
3.4.1 Justification by the Kantorovich Memc
3.4.2 Justification by Network Flow
3.5 Probabilistic Bisimulation
3.6 Logical Characterisation
3.6.1 An Adequate Logic
3.6.2 An Expressive Logic
3.7 Metric Characterisation
3.8 Algorithmic Characterisation
3.8.1 A Partition Refinement Algorithm
3.8.2 An“On—the—Fly”Algorithm
3.9 Bibliographic Notes
3.9.1 Probabilistic Models
3.9.2 Probabilistic Bisimulation
References
4 Probabilistic Testine Semantics
4.1 A General Testing Framework
4.2 Testing Probabilistic Processes
4.3 Bounded Continuity
4.4 Reward Testing
4.4.1 A Geometric Property
4.4.2 Nonnegative Rewards
4.5 Extremal Reward Testing
4.6 Extremal Reward Testing Versus Resolution—Based Reward Testing
4.6.1 Must Testing
4.6.2 May Testing
4.7 Vector—Based Testing Versus Scalar Testin~
4.8 Bibliographic Notes
References
5 Testing Finite Probabilistic Processes
5.1 Introduction
5.2 The Language pCSP
5.2.1 The Syntax
5.2.2 The Operational Semantics
5.2.3 The Precedence of Probabilistic Choice
5.2.4 Graphical representation of pCSP processes
5.2.5 Testing pCSP Processes
5.3 Counterexamples
5.4 Must Versus May Testing
5.5 Forward and Failure Simulation
5.5.1 The Simulation Preorders
5.5.2 The Simulation Preorders are Precongruences
5.5.3 Simulations Are Sound for Testing Preorders
5.6 A Modal Logic
5.7 Characteristic Tests
5.8 Equational Theories
5.9 Inequational Theories
5.10 Comoletenes
5.11 Bibliographic Notes
5.11.1 Probabilistic Equivalences
5.11.2 Probabilistic Simulations
References
6 Testing Finitary Probabilistic Processes
6.1 IntrOduction
6.2 The Language rpCSP
6.3 A General Definition of Weak Derivations
6.3.1 Lifting Relations
6.3.2 Weak Transitions
6.3.3 Properties of Weak Transitions
6.4 Testing rpCSP Processes
6.4.1 Testing with Extremal Derivatives
6.4.2 Comparison with Resolution—Based Testing
6.5 Generatinz Weak Derivatives in a Finitary pLTS
6.5.1 Finite Generability
6.5.2 Realising Payoffs
6.5.3 Conseauences
6.6 The Failure Simulation Preorder
6.6.1 Two Equivalent Definitions and Their Rationale
6.6.2 A Simple Failure Similarity for Finitary Processes
6.6.3 Precongruence
6.6.4 Soundness
6.7 Failure Simulation is Complete for Must Testing
6.7.1 Inductive Characterisatior
6.7.2 The Modal Logic
6.7.3 Characteristic Tests for Formulae
6.8 Simulations and May Testing
6.8.1 Soundness
6.8.2 Completeness
6.9 Real—Reward Testing
6.10 Summary
References
7 Weak Probabilistic Bisimulation
7.1 Introduction
7.2 A Simple Bisimulation
7.3 Compositionality
7.4 Reduction Barbed Congruence
7.5 Bibliographic Notes
References
Index
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
