Optimizing Space of Parallel Processes

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 pa...

Full description

Bibliographic Details
Main Authors: Manfred Schmidt-Schauß, Nils Dallmeyer
Format: Article
Language:English
Published: Open Publishing Association 2019-02-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1902.08422v1

Similar Items