Paper Details

Communicating Process Architectures (CPA)
 Title: Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces
 Conference: Communicating Process Architectures 2011
 Authors: Jan B√¶kgaard Pedersen, Matthew Sowders
Department of Computer Science, University of Nevada Las Vegas
 Abstract: In this paper we consider a refinement of the concept of mobile processes in a process oriented language. More specifically, we investigate the possibility of allowing resumption of suspended mobile processes with different interfaces. This is a refinement of the approach taken currently in languages like occam-π. The goal of this research is to implement varying resumption interfaces in ProcessJ, a process oriented language being developed at UNLV. 

BibTeX Entry

Full paper