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

Loading full text...

Similar articles

Loading recommendations...

x1

Optimizing Space of Parallel Processes

Click on play to start listening