Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57