On the Logic of Concurrency and Conflict

Concurrent actions and non sequential processes are fundamental in any kind of system, not only computing systems; hence, an adequate formalization of these notions is required in order to understand systems and formally treat them, and many attempts have been made in this direction.