A rewriting framework and logic for activities subject to regulations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic. A rewriting framework and logic for activities subject to regulations. Mathematical Structures in Computer Science, 27(3):332-375, 2017. [doi]

This author has not been identified. Look up 'Max I. Kanovich' in GoogleThis author has not been identified. Look up 'Tajana Ban Kirigin' in GoogleThis author has not been identified. Look up 'Vivek Nigam' in GoogleThis author has not been identified. Look up 'Andre Scedrov' in GoogleThis author has not been identified. Look up 'Carolyn L. Talcott' in GoogleThis author has not been identified. Look up 'Ranko Perovic' in Google

runs on WebDSL