Closure operators associated to partially ordered sets
By applying classical techniques of lattice theory, a closure operator for the relation of causal dependence in partially ordered sets is derived. The specific properties of this closure operator are studied and a class of subsets of the original (partially ordered) set is identified. It is subsequently proved that this class is an algebraic lattice. Some considerations about the properties of this class with respect to information flow and "physically realizable" concurrent systems are briefly presented.
BERNARDINELLO Luca;
FERIGATO Carlo;
POMELLO Lucia;
ROMBOLÀ Stefania;
2010-02-12
Österreichische Computer Gesellshaft
JRC52412
https://publications.jrc.ec.europa.eu/repository/handle/JRC52412,
Additional supporting files
| File name | Description | File type | |
|---|
