Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

A Rewriting Framework and Logic for Activities Subject to Regulations

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. A Rewriting Framework and Logic for Activities Subject to Regulations. Mathematical Structures in Computer Science, 2015. Published online

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@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"
 }

Generated by bib2html.pl (written by Patrick Riley ) on Wed Mar 01, 2017 14:31:37