Truly concurrent process algebra with localities /

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...

Full description

Bibliographic Details

Main Author:	Wang, Yong (Author)
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Published:	Cambridge, MA : Elsevier, 2024.
Subjects:	Computer multitasking > Mathematics. Algebra. Fonctionnement multitâche > Mathématiques. Algèbre. algebra. Electronic books.
Online Access:	Connect to the full text of this electronic book