Between quantum logic and concurrency

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent p…