@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@article{kanovich.mscs,
author = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
title = { A Rewriting Framework and Logic for Activities Subject to Regulations},
journal = {Mathematical Structures in Computer Science},
note = "Published online",
year = {2015},
bib2html_pubtype = {Journal},
bib2html_rescat = {Foundations of Computer Security},
bib2html_dl_pdf = "/docs/mscs15.pdf"
}