Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources

Hervé Miguel Cordeiro Paulino

doi:10.3217/jucs-009-08-0745

Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources

Hervé Miguel Cordeiro Paulino

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

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. Revised version of the paper presented at the 7th Brazilian Symposium on Programming Languages.

Original language	Unknown
Pages (from-to)	745-760
Journal	Journal of Universal Computer Science
Volume	8
Issue number	9
DOIs	https://doi.org/10.3217/jucs-009-08-0745
Publication status	Published - 1 Jan 2003

Access to Document

10.3217/jucs-009-08-0745

Cite this

@article{54f6c733521340288681ce47ecf257e0,

title = "Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources",

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. Revised version of the paper presented at the 7th Brazilian Symposium on Programming Languages.",

keywords = "Distributed Computing, Process-Calculi, Mobile Resources",

author = "Paulino, {Herv{\'e} Miguel Cordeiro}",

year = "2003",

month = jan,

day = "1",

doi = "10.3217/jucs-009-08-0745",

language = "Unknown",

volume = "8",

pages = "745--760",

journal = "Journal of Universal Computer Science",

issn = "0948-695X",

publisher = "Technischen Universit{\"a}t Graz",

number = "9",

}

TY - JOUR

T1 - Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources

AU - Paulino, Hervé Miguel Cordeiro

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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. Revised version of the paper presented at the 7th Brazilian Symposium on Programming Languages.

AB - 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. Revised version of the paper presented at the 7th Brazilian Symposium on Programming Languages.

KW - Distributed Computing

KW - Process-Calculi

KW - Mobile Resources

U2 - 10.3217/jucs-009-08-0745

DO - 10.3217/jucs-009-08-0745

M3 - Article

SN - 0948-695X

VL - 8

SP - 745

EP - 760

JO - Journal of Universal Computer Science

JF - Journal of Universal Computer Science

IS - 9

ER -