.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Topology in Process Calculus
Mingsheng Ying
€ 66.34
FREE Delivery in Ireland
Description for Topology in Process Calculus
Paperback. Num Pages: 220 pages, biography. BIC Classification: PB; UM; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 361.
Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and ... Read more
Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
220
Condition
New
Number of Pages
220
Place of Publication
New York, NY, United States
ISBN
9781461265221
SKU
V9781461265221
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Topology in Process Calculus