A Formal Language for Programming with Distributed Resources and Scopes
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    This paper presents a small language for distributed computation with agent mobility——Scope language. The language is different from most existing work on distributed and mobile computation, which usually take some variants of π-calculus as their basis. The core of Scope language is a specially designed λ-like calculus with resources. It enables Scope language to directly model memory-like resources, instead of indirectly using process/channel as in π-calculus. Furthermore, Scope language gives a novel treatment to the notion of location, which is called Scope here. Scope and memory-like resources combined make Scope language complementary to most other work, and provide an alternative approach to modeling distributed and mobile systems, which feature the simplicity of implementation and the affinity with the programming model inherent in realistic language such as Obliq and Telescript.

    Reference
    Related
    Cited by
Get Citation

王栩,黄涛,冯玉琳.一种基于分布式资源域理论的形式化语言.软件学报,2001,12(4):499-511

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:March 31,2000
  • Revised:November 03,2000
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063