On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function

First Page		Document Content
Date: 2016-02-22 03:32:16		On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function Add to Reading List Source URL: concurrency.cs.uni-kl.de Download Document from Source Website File Size: 184,41 KB Share Document on Facebook