KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
TQL: a query language for semistructured data based on the ambient logic
Mathematical Structures in Computer Science
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
Hi-index | 0.00 |