Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets.

Luca Bernardinello Lucia Pomello Stefania Rombolà Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. 211-235 2010 105 Fundam. Inform. 3 http://dx.doi.org/10.3233/FI-2010-365 db/journals/fuin/fuin105.html#BernardinelloPR10