Data independence with predicate symbols
A. W. Roscoe and R.S. Lazic
Book Title
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)
Publisher
CSREA Press
Volume
I
Year
1999
A. W. Roscoe and R.S. Lazic