<< An Extensible Meta-Model for Program Analysis | ホーム | Detecting Structural Refactoring Conflicts Using Critical Pair Analysis >>

A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages

並行オブジェクト指向言語の意味論を CCS で定義した論文。似たようなことをやった研究は他にもあるけど、継承まで考慮に入れているのは他では見たことはないはず。コーディング方法としてはわりと普通。

author="Michael Papathomas",
title="{A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages}",
booktitle="Object-Oriented Concurrent Computing",
publisher="Springer",
volume="612",
series="LNCS",
pages="53--79",
year="1992"

タグ : ,



コメント追加 トラックバック送信