Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages

Authors:
Hanne Riis Nielson;Flemming Nielson
Affiliations:
-;-
Venue:
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1995

Citing 0
Cited 3

Linearity and the pi-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Linearity and the pi-calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Type and behaviour reconstruction for higher-order concurrent programs

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract