Doesn't suit? No problem! You can return within 30 days
You won't go wrong with a gift voucher. The gift recipient can choose anything from our offer.
30-day return policy
Concurrent systems are generally understood in terms of behavioural notions. This text analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents an analysis of model theory applied to concurrent protocols and provides an intuitive theory of concurrency based on mathematical foundations.