Showing 1 - 10 of 11
Persistent link: https://www.econbiz.de/10011549187
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/10011485247
Persistent link: https://www.econbiz.de/10010474851
Persistent link: https://www.econbiz.de/10012512322
Persistent link: https://www.econbiz.de/10011894383
Persistent link: https://www.econbiz.de/10011743317
Persistent link: https://www.econbiz.de/10011639938
Persistent link: https://www.econbiz.de/10014476683
Persistent link: https://www.econbiz.de/10014635865