Faithin Omaha eBook Collection

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

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research tradit