Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings
著者
書誌事項
Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings
(Lecture notes in computer science, 924)
Springer-Verlag, c1995
- : gw
- : us
大学図書館所蔵 全54件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Selected papers
Includes bibliographical references
内容説明・目次
内容説明
This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994.
Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent object-oriented programming is very promising with regard to language support for distribution and software composition.
目次
Rule-based object coordination.- Sender-initiated and receiver-initiated coordination in a global object space.- Correctness-preserving transformations for the design of parallel programs.- Distributed conflicts in communicating systems.- Bauhaus Linda.- On the operational semantics of a coordination language.- Abstracting interactions based on message sets.- Law-governed linda as a coordination model.- Requirements for a composition language.- A model for active object coordination and its use for distributed multimedia applications.- A machine for uncoupled coordination and its concurrent behavior.
「Nielsen BookData」 より