Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Incremental querying in the concurrent CLP language IFD-Constraint Pandora
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Hi-index | 0.00 |