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 (Π).  Meer

Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer science.  Meer

Theory of Structured Parallel Programming is a comprehensive guide to structured parallel programming corresponding to traditional structured sequential programming.  Meer

Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing.  Meer

The last three decades has witnessed miraculous economic growth of China. What has accounted for its miracle? What is the nature and future of the Chinese model?  Meer

Handbook of Truly Concurrent Process Algebra 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.  Meer

This book investigates the existential clause (EC) from a cross-linguistic perspective and within the framework of Systemic Functional Linguistics.  Meer

This book investigates the existential clause (EC) from a cross-linguistic perspective and within the framework of Systemic Functional Linguistics.  Meer

The last three decades has witnessed miraculous economic growth of China. What has accounted for its miracle? What is the nature and future of the Chinese model?  Meer

Respiratory diseases are leading causes of death and disability globally, with about 65 million people suffering from COPD, and 334 million from asthma, the most common chronic disease.  Meer

This book illustrates the main characteristics, challenges and optimisation requirements of robotic disassembly. It provides a comprehensive insight on two crucial optimisation problems in the areas of robotic disassembly through a group of unified mathematical models.  Meer

Lung diseases are leading causes of death and disability globally, with about 65 million people suffering from COPD, and 334 million from asthma. Each year, tens of millions of people develop and can die from lung infections such as pneumonia and TB.  Meer

Lung diseases are leading causes of death and disability globally, with about 65 million people suffering from COPD, and 334 million from asthma. Each year, tens of millions of people develop and can die from lung infections such as pneumonia and TB.  Meer

The main goal of this book is to form a high-quality platform in which well-known and emerging pioneering basic, translational and clinical scientists can present their latest, exciting findings in the studies of redox signaling in the pulmonary vasculature.  Meer

This book explores the role calcium signaling plays in cellular responses in almost all types of cells including airway smooth muscle cells. This universal signaling may result from extracellular calcium influx and/or intracellular calcium release, which are precisely controlled and regulated by ion channels, exchangers and/or transporters on the plasmalemmal or sarcoplasmic reticulum membrane.  Meer

This book presents the concept of Fenggu, one of the most important aesthetic categories of ancient China. As an inspiring aesthetic principle, it once encapsulated the particularities of various types of artistic creation and played an important role in traditional artistic creation and theoretic critique.  Meer

This book mainly focuses on the adaptive analysis of damage and fracture in rock, taking into account multiphysical fields coupling (thermal, hydro, mechanical, and chemical fields).  Meer

This book explores the role calcium signaling plays in cellular responses in almost all types of cells including airway smooth muscle cells. This universal signaling may result from extracellular calcium influx and/or intracellular calcium release, which are precisely controlled and regulated by ion channels, exchangers and/or transporters on the plasmalemmal or sarcoplasmic reticulum membrane.  Meer

Respiratory diseases are leading causes of death and disability globally, with about 65 million people suffering from COPD, and 334 million from asthma, the most common chronic disease.  Meer