Order Theoretic Properties of Vector Languages
We have introduced trace and vector languages as models of behaviour. These have an algebraic or language theoretic flavour, in contrast to the order theoretic flavour of behavioural presentations and event structures. The two approaches may be formally related, however, and we establish this in chapter 12.
Unable to display preview. Download preview PDF.