Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

A rewriting framework and logic for activities subject to regulations

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.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

@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 Wed Oct 04, 2017 09:57:18