Mobile Calculi based on Domains


A lexically scoped distributed pi-calculus

A. Ravara and A. Matos and V. Vasconcelos and L. Lopes

Abstract

We define the syntax, the operational semantics, and a type system for lsdpi, an asynchronous and distributed pi-calculus with local communication and process migration. The calculus follows a simple model of distribution for mobile calculi, with a lexical scoping mechanism that provides for both remote communication and process migration, and makes explicit migration primitives superfluous.

@TechReport\{ravara.etal:lsdpi-report,
  author = \{A. Ravara and A. Matos and V. Vasconcelos and L. Lopes},
  title = \{A lexically scoped distributed pi-calculus},
  institution = \{DIFCUL},
  year = \{2002}, 
  type = \{DI/FCUL TR}, 
  number = \{02--4}, 
  url = \{http://mikado.di.fc.ul.pt/repository/ravara.etal_lsdpi-report.pdf}
}


About this site. Last modified: Wed Nov 22 08:35:39 CET 2017