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

Convenient access to information from every area of mathematics: Fourier transforms, Z transforms, linear and nonlinear programming, calculus of variations, ran

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

Accessible but rigorous, this outstanding text encompasses all of the topics covered by a typical course in elementary abstract algebra. Its easy-to-read treatm

Annotation In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume