Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

On the Complexity of Verification of Time-Sensitive Distributed Systems

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. On the Complexity of Verification of Time-Sensitive Distributed Systems. In Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, pp. 251–275, Lecture Notes in Computer Science 13066, Springer, 2021.

Download

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

Abstract

(unavailable)

@inproceedings{kanovich21joshua,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  editor    = {Daniel Dougherty and
               Jos{\'{e}} Meseguer and
               Sebastian Alexander M{\"{o}}dersheim and
               Paul D. Rowe},
  title     = {On the Complexity of Verification of Time-Sensitive Distributed Systems},
  booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
               on the Occasion of his 66.66th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {13066},
  pages     = {251--275},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-91631-2\_14},
  doi       = {10.1007/978-3-030-91631-2\_14},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Foundations of Computer Security},
  bib2html_dl_pdf = "/docs/joshua21.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57