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

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

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

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