A Theory of Conjunction and Concurrency
C. A. R. Hoare
Month
may
Note
LaTeXed draft‚ appeared in A postconference publication based upon the proceedings of PARBASE−90‚ the First International Conference on Databases‚ Parallel Architectures and their Applications‚ IEEE−CS 1991
Year
1989