• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, and Ranko Perovic. A rewriting framework and logic for activities subject to regulations. Mathematical Structures in Computer Science, 27(3):332–375, 2017.
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@article{kanovich17mscs,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott and
Ranko Perovic},
title = {A rewriting framework and logic for activities subject to regulations},
journal = {Mathematical Structures in Computer Science},
volume = {27},
number = {3},
pages = {332--375},
year = {2017},
url = {https://doi.org/10.1017/S096012951500016X},
doi = {10.1017/S096012951500016X},
timestamp = {Thu, 08 Jun 2017 09:09:46 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/mscs/KanovichKNSTP17},
bibsource = {dblp computer science bibliography, http://dblp.org},
bib2html_pubtype = {Journal},
bib2html_rescat = {Foundations of Computer Security},
bib2html_dl_pdf = "/docs/mscs15.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57