Yong Wang

Truly Concurrent Process Algebra With Localities

Voted 0

ISBN: 9780443330681
Author : Yong Wang
Published: 2024
Publisher: Morgan Kaufmann
Language: English
Format: Paperback / softback
Format: 9.25×7.5

Description

<i>Truly Concurrent Process Algebra with Localities</i> 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.<br><br>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.

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.