Kniha momentálne nie je na sklade
Viac o knihe
The book delves into the integration of localities within truly concurrent process algebras, presenting innovative frameworks like Calculus for True Concurrency (CTC) and Algebra of Parallelism for True Concurrency (APTC). These frameworks extend traditional models to accommodate true concurrency concepts, focusing on various bisimilarities such as pomset, step, history-preserving, and hereditary history-preserving bisimilarity. This comprehensive exploration enhances the understanding of concurrency in process algebra, making it a valuable resource for researchers in the field.
Nákup knihy
Truly Concurrent Process Algebra with Localities, Yong Wang
- Jazyk
- Rok vydania
- 2024
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.
- Titul
- Truly Concurrent Process Algebra with Localities
- Jazyk
- anglicky
- Autori
- Yong Wang
- Vydavateľ
- Elsevier Science
- Rok vydania
- 2024
- Väzba
- mäkká
- Počet strán
- 500
- ISBN13
- 9780443330681
- Série
- Anotácia
- The book delves into the integration of localities within truly concurrent process algebras, presenting innovative frameworks like Calculus for True Concurrency (CTC) and Algebra of Parallelism for True Concurrency (APTC). These frameworks extend traditional models to accommodate true concurrency concepts, focusing on various bisimilarities such as pomset, step, history-preserving, and hereditary history-preserving bisimilarity. This comprehensive exploration enhances the understanding of concurrency in process algebra, making it a valuable resource for researchers in the field.