Behavioral Extensions of Institutions.

Andrei Popescu, Grigore Rosu

Browse the full CALCO paper archive.