A Modal Action Logic Based Framework for Organization Specification and Analysis.

Filipe Santos, Jos Carmo

Browse the full JELIA paper archive.