[IEEE Comput. Soc. Press Second IEEE Symposium on Parallel and Distributed Processing 1990 - Dallas, TX, USA (9-13 Dec. 1990)] Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990 - Optimistic regulation of concurrency