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,
This document is only visible at the Commission level.
You are not authorized to publish or distribute it outside the European Commission.
This is a public document. You can share this publication.
Additional supporting files
| File name | Description | File type | |
|---|
