Some Variants of Truly Concurrent Process Algebra

Edited by: Yong Wang*、Guiping Dai

Published：2026-05；

Format：Hardback, 1/16；

Pages：211；

Number of words：316,113

ISBN: 978-99996-49-17-9

*Correspondence: West China Second University Hospital, Sichuan University. Acknowledgments: None.

Download Flyer

Citation

Book Retrieval

·Content·

Chapter 1: Introduction
Chapter 2: Preliminaries
Chapter 3: A Logic for Weakly True Concurrency
Chapter 4:Truly Concurrent CSP
Chapter 5:Truly Concurrent SCCS
Chapter 6:An Algebra of Actors Based on True Concurrency
Chapter 7:Timed Truly Concurrent Process Algebra

·About the Authors·

Yong Wang, College of Computer Science and Technology, Beijing University of Technology. His research focuses on parallel and distributed computing, including theories on parallelcomputing, key and emerging techniques in parallel and distributed computing. Born in 1974 and received the Dr. degree of Computer Science from Beihang University in2006. Now, he is an associated professor of Beijing University of Technology.

Guiping Dai, College of Information Science and Technology, Beijing University of Technology.Her research focuses on parallel and distributed computing and discrete event systems. Born in 1977 and received the Dr. degree of Computer Science from USTC in 2005. Now,she is an assistant professor of Beijing University of Technology.

·Copyright Information·

Some Variants of Truly Concurrent Process Algebra
Hardcover, Word Count: 316,113 words
First Edition: May 2026
Published by Macao Scientific Publishers (MOSP)
Printed by HanLin Publishing Group, Macao, China
ISBN: 978-99996-49-17-9

·Retrieval·

Macao Public Library (Statutory Collection)
Search Entrance: https://www.library.gov.mo/zh-hans/
Book Link: Medical image processing : a comprehensive application overview
Reference Number: B0120443

Library of Macao University of Science and Technology
Search entrance: https://lib.must.edu.mo
Book Link: updating
Reference Number: updating

Macao Scientific Publishers
Address: Block 11/F, Hengchang Building, Nanwan Avenue, Macao, 999078, China

For more information, contact book@mospbs.com
This publication is safeguarded by copyright. Unless otherwise specified under statutory exceptions or in accordance with the provisions stipulated within pertinent collective licensing agreements, any reproduction of any segment of this publication is strictly prohibited without obtaining the written authorization from Macao Scientific Company.
For detailed information regarding the publishing process at Macao Scientific Publishers, kindly visit our official website https://www.mospbs.com/
Copyright © Macao Scientific Publishers. All rights reserved.