Toward Formally-Based Design of Message Passing Programs
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
Cost Hierarchies for Abstract Parallel Machines
LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers
Journal of Functional Programming
A calculus for parallel computations over multidimensional dense arrays
Computer Languages, Systems and Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Characterising effective resource analyses for parallel and distributed coordination
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
Space profiling for parallel functional programs
Journal of Functional Programming
| Hi-index | 0.00 |