基本説明
First book to adopt the approach taken by the LOTOS process calculi and its theory. Combines timed automata with region graph based model-cheking - a highly topical approach.
Full Description
The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Over a period of 25 years, or so, the ?eld of concurrency theory has been involved in the development of a set of mathematical techniques that can help system developers to think about and build concurrent systems.
