Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure.

Susumu Yamasaki, Mariko Sasakura

Browse the full COMPLEXIS paper archive.