You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Bases and Lattices in Non-Sequential Processes

Article type: Research Article

Authors: Fernández C., Cesar | Merceron, Agathe

Affiliations: Gesellschaft für Mathematik und Datenverarbeitung, Postfach 1240, 5205 St. Augustin 1, F.R.G.

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.

DOI: 10.3233/FI-1988-11203

Journal: Fundamenta Informaticae, vol. 11, no. 2, pp. 143-169, 1988

Received October 1987
|
Accepted November 1987
|
Published: 1 April 1988
Price: EUR 27.50
Show more