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"