Yong Wang Pořadí knih

The book delves into the integration of localities within truly concurrent process algebras, presenting innovative frameworks like Calculus for True Concurrency (CTC) and Algebra of Parallelism for True Concurrency (APTC). These frameworks extend traditional models to accommodate true concurrency concepts, focusing on various bisimilarities such as pomset, step, history-preserving, and hereditary history-preserving bisimilarity. This comprehensive exploration enhances the understanding of concurrency in process algebra, making it a valuable resource for researchers in the field.

Focusing on algebraic laws for true concurrency, this book delves into the significant concepts of parallelism and concurrency in computer science. It discusses the decomposition of programs into order-independent components to enhance performance. The text contrasts interleaving concurrency, represented by bisimulation equivalences, with true concurrency, highlighting various bisimulation equivalences such as pomset and history-preserving bisimulation. This work lays the groundwork for a comprehensive axiomatization, contributing to ongoing research and applications in the field.

Environmental science is an interdisciplinary academic field that integrates physical-, biological-, and information sciences to study and solve environmental problems. ESSE - The International Conference on Environmental Science and Sustainable Energy provides a platform for experts, professionals, and researchers to share updated information and stimulate the communication with each other. In 2017 it was held in Suzhou, China June 23-25, 2017.

Aufgrund erhöhter Leistungsfähigkeit und geringer Schadstoffemissionen sind Brennstoffzellen betriebene Stromaggregate vielversprechend für die Bordstromversorgung in LKW, Schienenfahrzeugen, Flugzeugen und Schiffen. Zum Betrieb der Brennstoffzellen mit dem an Bord verfügbaren Kraftstoff werden eine katalytische Reformierung und nachgeschaltete Gasaufbereitungsschritte verwendet. Dafür ist eine Entschwefelung des Kraftstoffs an Bord notwendige Voraussetzung. Das vorliegende Buch befasst sich mit theoretischen, experimentellen und analytischen Untersuchungen zur Entwicklung eines technisch relevanten Tiefentschwefelungsprozesses für Brennstoffzellensysteme mit einer elektrischen Leistung von 5 kW.