Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources
Ãlvaro Reis Figueira (DCC-FC & LIACC. Universidade do Porto, Portugal)
Hervé Paulino (Departamento de Informatica, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Portugal)
Luis Lopes (DCC-FC & LIACC. Universidade do Porto, Portugal)
Fernando Silva (DCC-FC & LIACC. Universidade do Porto, Portugal)
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: distributed computing, mobile resources, process-calculus
Categories: D.1.3, D.3.2
|