GONZALEZ ROBERT N

Automatic creation of pre-condition queries for conflict detection in distributed processing systems