A rewriting framework and logic for activities subject to regulations.

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases