Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic. A Rewriting Framework for Activities Subject to Regulations. In Ashish Tiwari, editor, 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. Volume 15 of LIPIcs, pages 305-322, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]
Abstract is missing.