Semantical Domains

At the very centre of the approach followed in this book is the perception that the behavioural semantics of a concurrent system can be represented using two different kinds of domains — abstract domains based solely on actions and relational domains based on action occurrences (events) — with each kind of domain having distinct advantages and disadvantages. Moreover, the views on the system behaviour captured using these different domains …