Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware s

Presents a unified overview of the various process algebras currently in use and sets the standard for the field.

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It

Concise Introduction to Linear Algebra deals with the subject of linear algebra, covering vectors and linear systems, vector spaces, orthogonality, determinants

An introduction to algebraic K-theory with no prerequisite beyond a first semester of algebra.