JUCS - Journal of Universal Computer Science 9(8): 745-760, doi: 10.3217/jucs-009-08-0745
Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources
expand article infoAlvaro Reis Figueira‡, Hervé Paulino§, Luis Lopes‡, Fernando Silva|
‡ DCC-FC & LIACC. Universidade do Porto, Portugal§ Departamento de Informatica, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Portugal| University of Porto, Portugal

Corresponding author: Alvaro Figueira ( arf@ncc.up.pt )

© Alvaro Figueira, Hervé Paulino, Luis Lopes, Fernando Silva.
This article is freely available under the J.UCS Open Content License.
Citation: Figueira AR, Paulino H, Lopes L, Silva F (2003) Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources. JUCS - Journal of Universal Computer Science 9(8): 745-760. https://doi.org/10.3217/jucs-009-08-0745
Open Access
Abstract
We describe a programming language for distributed computations that supports mobile resources and is based on a process calculus. The syntax, semantics and implementation of the language are presented with a focus on the novel model of computation.
Keywords
process-calculus, distributed computing, mobile resources