Yong Wang

Handbook of Truly Concurrent Process Algebra

Voted 0

ISBN: 9780443215155
Author : Yong Wang
Published: 2023
Publisher: Morgan Kaufmann
Language: English
Format: Paperback / softback
Format: 10.875×8.5

Description

<p><i>Handbook of Truly Concurrent Process Algebra</i> provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actors – A Process Algebra-Based Approach, Secure Process Algebra, and Verification of Patterns. The author demonstrates actor models which are captured using the following characteristics: Concurrency, Asynchrony, Uniqueness, Concentration, Communication Dependency, Abstraction, and Persistence. Every pattern is detailed according to a regular format to be understood and utilized easily, which includes introduction to a pattern and its verifications. Patterns of the vertical domains are also provided, including the domains of networked objects and resource management. To help readers develop and implement the software patterns scientifically, the pattern languages are also presented.</p>

Reviews (0)

Write a review

Rate this item

Your name

Your e-mail

Your review

Comment

Selection

Description

Functionality (necessary) cookies

These cookies are essential to the functioning of the website and they cannot be disabled. They do not store any personally identifiable information and are deleted once you leave the website.

Performance Cookies

These cookies are used to measure the use of the website and traffic sources in order to gain information required to improve the functioning of the website. These cookies help us to determine which pages are the most popular and to learn about the users’ browsing habits. To this end we use the Google Analytics statistical engine. We do not disclose any information we have collected. All information gathered is completely anonymous and cannot identify you personally.

Marketing cookies

These third-party cookies are used to display ads personalized to your needs. We use cookies that help us to collect information on your web surfing behaviour and allow us to learn about your interests so that we could display only those ads that are relevant to you. Leave this box unchecked if you do not want us to show you any advertising.