A logic for true concurrency Paolo Baldan and Silvia Crafa Universita’ di Padova.
Arrays Array Terminology Declarations Visualisation of Arrays Array Conformance Array Element Ordering Array Syntax Whole Array Expressions Array Sections.