Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

On subexponentials, focusing and modalities in concurrent systems

Vivek Nigam, Carlos Olarte, and Elaine Pimentel. On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci., 693:35–58, 2017.
This extends our CONCUR 2013 paper.

Download

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

Abstract

(unavailable)

BibTeX

@article{nigam17tcs,
  author    = {Vivek Nigam and
               Carlos Olarte and
               Elaine Pimentel},
  title     = {On subexponentials, focusing and modalities in concurrent systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {693},
  pages     = {35--58},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2017.06.009},
  doi       = {10.1016/j.tcs.2017.06.009},
  timestamp = {Thu, 21 Sep 2017 15:12:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/NigamOP17},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/tcs-sellU.pdf",
  wwwnote = "This extends our CONCUR 2013 paper."
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Oct 04, 2017 09:57:18