A lexically scoped distributed pi-calculus
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: Fri Apr 26 14:43:28 CEST 2024