Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 9 / Issue 8

available in:   PDF (283 kB) PS (82 kB)
Similar Docs BibTeX   Write a comment
Links into Future


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