%0 Journal Article %1 journals/mscs/KanovichKNSTP17 %A Kanovich, Max I. %A Kirigin, Tajana Ban %A Nigam, Vivek %A Scedrov, Andre %A Talcott, Carolyn L. %A Perovic, Ranko %D 2017 %J Math. Struct. Comput. Sci. %K dblp %N 3 %P 332-375 %T A rewriting framework and logic for activities subject to regulations. %U http://dblp.uni-trier.de/db/journals/mscs/mscs27.html#KanovichKNSTP17 %V 27

@article{journals/mscs/KanovichKNSTP17, added-at = {2022-12-07T00:00:00.000+0100}, author = {Kanovich, Max I. and Kirigin, Tajana Ban and Nigam, Vivek and Scedrov, Andre and Talcott, Carolyn L. and Perovic, Ranko}, biburl = {https://www.bibsonomy.org/bibtex/2f297035532003fad9691a14dc83ec288/dblp}, ee = {https://doi.org/10.1017/S096012951500016X}, interhash = {46ad48d549e5827676cad88c4ba1490e}, intrahash = {f297035532003fad9691a14dc83ec288}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {332-375}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {A rewriting framework and logic for activities subject to regulations.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs27.html#KanovichKNSTP17}, volume = 27, year = 2017 }