Name: Truly Concurrent Process Algebra With Localities (en Inglés)
SKU: 63294518
Price: 212.80 USD
Availability: InStock
Author: Yong Wang Ph.D.

portada Truly Concurrent Process Algebra With Localities (en Inglés)

Truly Concurrent Process Algebra With Localities (en Inglés)

Formato

Libro Físico

Editorial

Morgan Kaufmann

Autor

Yong Wang Ph.D.

Idioma

Inglés

N° páginas

474

Encuadernación

Tapa Blanda

ISBN13

9780443330681

N° edición

Truly Concurrent Process Algebra With Localities (en Inglés)

Yong Wang Ph.d. (Autor) · Morgan Kaufmann · Tapa Blanda

Libro Nuevo Importado

Envío: 22 a 30 días háb.

$ 425.61$ 212.80

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 212.80

Llega entre el 28 Sep y el 13 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Truly Concurrent Process Algebra With Localities (en Inglés)"

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.