Models for Concurrency

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.