This is a practical introduction to the complex subject of formal theories of concurrency. Supported throughout by examples and exercises, the practical applicability of the methods is demonstrated and the benefits of rigorous approach made clear.
This is a practical introduction to the complex subject of formal theories of concurrency. Supported throughout by examples and exercises, the practical applicability of the methods is demonstrated and the benefits of rigorous approach made clear.