Order Theoretic Properties of Vector Languages

  • Michael W. Shields


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.


Partial Order Parallel Composition Final Occurrence Behavioural Presentation Consistent Completeness 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1997

Authors and Affiliations

  • Michael W. Shields
    • 1
  1. 1.Department of Mathematical and Computing ScienceUniversity of SurreyGuildford, SurreyEngland

Personalised recommendations