IEEE Transactions on Parallel and Distributed Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Fixpoint Theory for Non-monotonic Parallelism
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Incorporating memory layout in the modeling of message passing programs
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Parallel, distributed and network-based processing
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
Algorithm + strategy = parallelism
Journal of Functional Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays
APPT '09 Proceedings of the 8th International Symposium on Advanced Parallel Processing Technologies
Bulk synchronous parallel ML with exceptions
Future Generation Computer Systems
Parallel superposition for bulk synchronous parallel ML
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Specification for reactive bulk-synchronous programming
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Type system for a safe execution of parallel programs in BSML
Proceedings of the fifth international workshop on High-level parallel programming and applications
A formal programming model of Orléans skeleton library
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Adapting scientific computing problems to clouds using MapReduce
Future Generation Computer Systems
| Hi-index | 0.00 |