A rewriting framework and logic for activities subject to regulations - KANOVICH, MAX; BAN KIRIGIN, TAJANA; NIGAM, VIVEK; SCEDROV, ANDRE; TALCOTT, CAROLYN; PEROVIC, RANKO (Mathematical structures in computer science, 2017)
Keywords: Automation; Complexity; Finance; Government agencies; Logic; Mathematical models; Mathematics; Policies; Protocol (computers); Regulation; Regulations