- Tytuł:
- Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets
- Autorzy:
-
Bernardinello, L.
Pomello, L.
Rombola, S. - Data publikacji:
- 2011
- Słowa kluczowe:
-
non-sequential processes
partial order semantics
closure operators
orthomodularity - Pokaż więcej
- Dostawca treści:
- BazTech