あった！遷移系のストーン双対

以前に見た記憶があって、でも、みつからなかった。が、google:"stone duality" "transition systems" でやっと見つけた。

• Title: Studying Equivalences of Transition Systems with Algebraic Tools (1995)
• Author: Pasquale Malacaria
• URL: http://citeseer.ist.psu.edu/489182.html

チラリと見て定式化があまり好きではないので、読むのをやめたのだが、今になって気になりだしたのだった。