A lattice-structured proof of a minimum spanning
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
On the correctness of orphan management algorithms
Journal of the ACM (JACM)
Fault tolerance support in distributed systems: a position paper
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
A Theory of Timestamp-Based Concurrency Control for Nested Transactions
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
On the Correctnes of Virtual Partition Algorithm in a Nested Transaction Environment
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Modularity for teams of I/O automata
Information Processing Letters
Modularity for teams of I/O automata
Information Processing Letters
Entangled queries: enabling declarative data-driven coordination
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Coordination through querying in the youtopia system
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
A rule based knowledge transaction model for mobile environments
Information Sciences: an International Journal
Entangled queries: Enabling declarative data-driven coordination
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |