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. Submitted to Theoretical Computer Science, Draft.
This extends our CONCUR 2013 paper.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@article{nigam.tcs,
  author    = {Vivek Nigam and Carlos Olarte and Elaine Pimentel},
  title     = {On subexponentials, focusing and modalities in concurrent systems},
  journal   = {Submitted to Theoretical Computer Science},
  bib2html_pubtype = {Submitted},
  bib2html_rescat = {Logical Frameworks},
  year  = "Draft",
  bib2html_dl_pdf = "/docs/tcs-sellU.pdf",
  wwwnote = "This extends our CONCUR 2013 paper."
}  

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