Sign in

Optimizing Space of Parallel Processes

By Manfred Schmidt-Schauß and Nils Dallmeyer
This paper is a contribution to exploring and analyzing space-improvements in concurrent programming languages, in particular in the functional process-calculus CHF. Space-improvements are defined as a generalization of the corresponding notion in deterministic pure functional languages. The main part of the paper is the O(n*log n) algorithm SpOptN for offline... Show more
February 22, 2019
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Optimizing Space of Parallel Processes
Click on play to start listening