Stock image for illustration purposes only - book cover, edition or condition may vary.
Topology in Process Calculus
Mingsheng Ying
€ 68.15
FREE Delivery in Ireland
Description for Topology in Process Calculus
Hardback. Intends to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. This book is suitable for professionals, researchers and graduate students in theoretical computer science and formal methods. Num Pages: 220 pages, biography. BIC Classification: PB; UL; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 504.
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
Hardback
Publication date
2001
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
9780387950921
SKU
V9780387950921
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Topology in Process Calculus