muABC: A Minimal Aspect Calculus
アスペクト指向を形式的に扱うための体系の導入と、既存のアスペクト指向言語からの変換、およびπ計算の変種へのエンコーディングの話。Extended abstract を読んだけど、よくわからない点が多いので full version も読んだほうがよさそう。
# Full version を refer しているけど、書いてある URI に見つからないので困る。
author="Glenn Bruns and Radha Jagadeesan and Alan Jeffrey and James Riely",
title="{$\mu$ABC: A Minimal Aspect Calculus}",
booktitle="CONCUR 2004",
volume="3170",
series="LNCS",
publisher="Springer",
pages="209--224",
year="2004"