Bases and Lattices in Non-Sequential Processes

Abstract

In this paper, we introduce the notion of a basis to study non-sequential processes which are modelled by partially ordered sets. We show that -associated to lower sets and upper sets- this notion permits to characterise several properties of non-sequential processes. We show also that lower sets and upper sets with finite basis are the compact elements of the lattices of lower sets and upper sets.