Showing 1 - 10 of 23
Persistent link: https://www.econbiz.de/10011549187
Persistent link: https://www.econbiz.de/10010509671
We will discuss some applications to Temporal Reasoning Systems, in which the set of times over which we reason forms a lattice. Related work can be found in the papers of Owicki and Lamport, McMillin et. al., among others
Persistent link: https://www.econbiz.de/10012922358
Persistent link: https://www.econbiz.de/10012922362
Persistent link: https://www.econbiz.de/10009659197
Persistent link: https://www.econbiz.de/10010488425
Persistent link: https://www.econbiz.de/10011485247
Persistent link: https://www.econbiz.de/10011639938
Persistent link: https://www.econbiz.de/10011743317
Persistent link: https://www.econbiz.de/10011894383