Handbook of Process Algebra

Handbook of Process Algebra

Author: J.A. Bergstra

Publisher: Elsevier

Published: 2001-03-16

Total Pages: 1357

ISBN-13: 0080533671

DOWNLOAD EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra.This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters. The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.


Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distributed Processing

Author: Michael Alexander

Publisher: CRC Press

Published: 2008-12-22

Total Pages: 440

ISBN-13: 1420064878

DOWNLOAD EBOOK

Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning-process algebra-has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel Pr


Introduction to Process Algebra

Introduction to Process Algebra

Author: Wan Fokkink

Publisher: Springer Science & Business Media

Published: 1999-12-23

Total Pages: 180

ISBN-13: 9783540665793

DOWNLOAD EBOOK

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.


Evolution Algebras and Their Applications

Evolution Algebras and Their Applications

Author: Jianjun Paul Tian

Publisher: Springer Science & Business Media

Published: 2008

Total Pages: 136

ISBN-13: 3540742832

DOWNLOAD EBOOK

Behind genetics and Markov chains, there is an intrinsic algebraic structure. It is defined as a type of new algebra: as evolution algebra. This concept lies between algebras and dynamical systems. Algebraically, evolution algebras are non-associative Banach algebras; dynamically, they represent discrete dynamical systems. Evolution algebras have many connections with other mathematical fields including graph theory, group theory, stochastic processes, dynamical systems, knot theory, 3-manifolds, and the study of the Ihara-Selberg zeta function. In this volume the foundation of evolution algebra theory and applications in non-Mendelian genetics and Markov chains is developed, with pointers to some further research topics.


Algebraic Structures and Applications

Algebraic Structures and Applications

Author: Sergei Silvestrov

Publisher: Springer Nature

Published: 2020-06-18

Total Pages: 976

ISBN-13: 3030418502

DOWNLOAD EBOOK

This book explores the latest advances in algebraic structures and applications, and focuses on mathematical concepts, methods, structures, problems, algorithms and computational methods important in the natural sciences, engineering and modern technologies. In particular, it features mathematical methods and models of non-commutative and non-associative algebras, hom-algebra structures, generalizations of differential calculus, quantum deformations of algebras, Lie algebras and their generalizations, semi-groups and groups, constructive algebra, matrix analysis and its interplay with topology, knot theory, dynamical systems, functional analysis, stochastic processes, perturbation analysis of Markov chains, and applications in network analysis, financial mathematics and engineering mathematics. The book addresses both theory and applications, which are illustrated with a wealth of ideas, proofs and examples to help readers understand the material and develop new mathematical methods and concepts of their own. The high-quality chapters share a wealth of new methods and results, review cutting-edge research and discuss open problems and directions for future research. Taken together, they offer a source of inspiration for a broad range of researchers and research students whose work involves algebraic structures and their applications, probability theory and mathematical statistics, applied mathematics, engineering mathematics and related areas.


ModelEd, TestEd, TrustEd

ModelEd, TestEd, TrustEd

Author: Joost-Pieter Katoen

Publisher: Springer

Published: 2017-10-16

Total Pages: 394

ISBN-13: 3319682709

DOWNLOAD EBOOK

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.


Algebra in Context

Algebra in Context

Author: Amy Shell-Gellasch

Publisher: JHU Press

Published: 2015-10-15

Total Pages: 553

ISBN-13: 1421417294

DOWNLOAD EBOOK

An engaging new approach to teaching algebra that takes students on a historical journey from its roots to modern times. This book’s unique approach to the teaching of mathematics lies in its use of history to provide a framework for understanding algebra and related fields. With Algebra in Context, students will soon discover why mathematics is such a crucial part not only of civilization but also of everyday life. Even those who have avoided mathematics for years will find the historical stories both inviting and gripping. The book’s lessons begin with the creation and spread of number systems, from the mathematical development of early civilizations in Babylonia, Greece, China, Rome, Egypt, and Central America to the advancement of mathematics over time and the roles of famous figures such as Descartes and Leonardo of Pisa (Fibonacci). Before long, it becomes clear that the simple origins of algebra evolved into modern problem solving. Along the way, the language of mathematics becomes familiar, and students are gradually introduced to more challenging problems. Paced perfectly, Amy Shell-Gellasch and J. B. Thoo’s chapters ease students from topic to topic until they reach the twenty-first century. By the end of Algebra in Context, students using this textbook will be comfortable with most algebra concepts, including • Different number bases • Algebraic notation • Methods of arithmetic calculation • Real numbers • Complex numbers • Divisors • Prime factorization • Variation • Factoring • Solving linear equations • False position • Solving quadratic equations • Solving cubic equations • nth roots • Set theory • One-to-one correspondence • Infinite sets • Figurate numbers • Logarithms • Exponential growth • Interest calculations


Abstract Algebra with Applications

Abstract Algebra with Applications

Author: Audrey Terras

Publisher: Cambridge University Press

Published: 2019

Total Pages: 331

ISBN-13: 1107164079

DOWNLOAD EBOOK

This text offers a friendly and concise introduction to abstract algebra, emphasizing its uses in the modern world.


Abstract Algebra

Abstract Algebra

Author: Celine Carstensen-Opitz

Publisher: Walter de Gruyter GmbH & Co KG

Published: 2019-09-02

Total Pages: 422

ISBN-13: 3110603993

DOWNLOAD EBOOK

A new approach to conveying abstract algebra, the area that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras, that is essential to various scientific disciplines such as particle physics and cryptology. It provides a well written account of the theoretical foundations and it also includes a chapter on cryptography. End of chapter problems help readers with accessing the subjects.