@misc{indiciaedefb9bec2926, title = {Optimizing Space of Parallel Processes}, author = {Manfred Schmidt-Schauß and Nils Dallmeyer}, year = {2019}, doi = {10.4204/eptcs.289.4}, url = {https://arxiv.org/abs/1902.08422}, note = {Source identifier: 1902.08422} }