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

Nick Higham follows up his successful HWMS volume with this much-anticipated second edition.

This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures gi