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

Download

[PDF] 

Abstract

(unavailable)

@article{nigam.tcs,
  author    = {Vivek Nigam and Carlos Olarte and Elaine Pimentel},
  title     = {On subexponentials, focusing and modalities in concurrent systems},
  journal   = {Accepted to Theoretical Computer Science},
  bib2html_pubtype = {Journal},
  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 Jul 19, 2017 09:17:26