Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case.

Eva Coscia, Gianna Reggio

Browse the full COMPASS paper archive.