Object-based concurrent computing : ECOOP '91 workshop, Geneva, Switzerland, July 15-16, 1991 : proceedings
著者
書誌事項
Object-based concurrent computing : ECOOP '91 workshop, Geneva, Switzerland, July 15-16, 1991 : proceedings
(Lecture notes in computer science, 612)
Springer-Verlag, c1992
- : gw
- : us
大学図書館所蔵 全58件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
内容説明・目次
内容説明
The ECOOP '91 Workshop on Object-Based Concurrent Computing
was organized toprovide a forum on concurrent, distributed
and open-ended computing. The emphasis was on conceptual,
theoretical and formal aspects, as well as practical aspects
and sound experience, since such a viewpoint was deemed
indispensible to investigate and establish a basis for
future development.
This volume contains 12 papers selected from 25 presented at
the workshop, together with a paper by J.A. Goguen, who was
an invited speaker at the workshop. The papers are
classified into four categories:
Formal methods (1): three papers are concerned with the
formal semantics of concurrent objects based on process
calculi.
Formal methods (2): four papers are concerned with various
formal approaches to the semantics of concurrent programs.
Concurrent programming: three papers.
Models: three papers areconcerned with models for
concurrent systems.
目次
Towards an object calculus.- On asynchronous communication semantics.- A unifying framework for process calculus semantics of concurrent object-oriented languages.- A sheaf semantics for FOOPS expressions (extended abstract).- Semantic layers of object-based concurrent computing.- Formal techniques for parallel object-oriented languages.- Trace semantics for actor systems.- Dynamic programming as multiagent programming.- Scheduling predicates.- A concurrency control mechanism for C++ objects.- Object-Oriented Concurrent Reflective architectures.- Abstract description of distributed object systems.- Design issues for object-based concurrency.- Panel: What is an object?.
「Nielsen BookData」 より