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.
KeywordsPartial Order Parallel Composition Final Occurrence Behavioural Presentation Consistent Completeness
Unable to display preview. Download preview PDF.