My account  |  My order  |  Login   |  Register  |  View Cart (0)
Advanced search
Browse for Books
Botany
Botany: GeneralPteridophytes
FlowersMedicinal Plant
PhycologyMycology
view all 
Zoology
EntomologyInvertebrates
MolluscaOrnithology
MammalsHerpetology
view all 
Earth Science
GlaciologyGeology
ClimatologyRemote Sensing
HazardsDesert
view all 
Paleontology
GeneralVertebrate
Micropaleontolo Paleobotany
InvertebrateStratigraphy
view all 
Biology & Ecology
BiodiversityMarine Biology
BiotechnologyEnvironment
MicrobiologyBiomedicine
view all 
Sciences
Science: GeneralMathematics
ChemistryMechanics
GeographyAerospace
view all 
Technology
AgricultureForestry
Civil Engineeri Energy
MetallurgyTransportation
view all 
Social Sciences
Culture and ArtHistory
PoliticsLanguage
StatisticsEconomics
view all 
Browse History
Semantics of Probabilistic Processes-An Operational Approach
Larger Image
Price: US$ 33.00
Semantics of Probabilistic Processes-An Operational Approach
概率进程语义(英文版)
Language:  English
Author:   Deng Yuxin
Pub. Date:  2015-11 Weight:   kg ISBN:  9787313138217
Format:  Soft Cover Pages:  249 pages
Subject:  Sciences > Mathematics
Series:   Size:  185x260mm
                    Add Favourite
 
  • Description
  • Contents
  • Details
  • Review
  • The author

Semantics of Probabilistic Processes-An Operational Approach随着计算机网络和通信技术的发展,对并发分布式系统的研究变得越来越重要。作为一种描述并发计算的模型,进程演算受到广泛研究并被成功应用到实际系统的规范、设计、分析及验证中。近些年来,人们提出概率进程演算用来描述和分析并发系统的量化行为,这要求对概率进程的语义基础进行深入研究。
  《概率进程语义(英文版)》中,以操作语义的方式把进程行为表示成概率标号迁移系统。不同迁移系统通过一些适当的行为等价或前序关系进行比较。
 





Related Books
Related Papers (PDF Download free)

China Scientific Book Services Co. Ltd., CSBS Bookstore  Join Our Mailing List
Address:  A-1120, Kingsound (Jiahao) International Center, No.116, Zi Zhu Yuan Road, Haidian District, Beijing 100097, China
TeL: +86-10-58930115, Fax: +86-10-80115555-702074  Email: hceis@hceis.com  All Right Reserved