M. Hennessy

Computing science is developing and providing a basis on which complex systems can be designed and anaiysed. Theories are evolving in terms of which a true understanding of difficult computing concepts can be gained. To employ such theories in discussions requires the use of formai notation....