|
|
books
| book details |
Truly Concurrent Process Algebra With Localities
By (author) Yong Wang
|
|
| on special |
normal price: R 8 165.95
Price: R 7 348.95
|
| book description |
Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and Î Calculus for True Concurrency (Î ). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity. This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.
| product details |
Normally shipped |
Publisher | Elsevier Science & Technology
Published date | 23 Aug 2024
Language |
Format | Paperback / softback
Pages | 474
Dimensions | 235 x 191 x 0mm (L x W x H)
Weight | 960g
ISBN | 978-0-4433-3068-1
Readership Age |
BISAC | computers / programming / software development
| other options |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
Mason Coile
Paperback / softback
224 pages
was: R 522.95
now: R 470.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
|
