Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

A General Proof System for Modalities in Concurrent Constraint Programming

Vivek Nigam, Carlos Olarte, and Elaine Pimentel. A General Proof System for Modalities in Concurrent Constraint Programming. In CONCUR, pp. 410–424, LNCS 8052, Springer, 2013.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{nigam13concur,
  author    = {Vivek Nigam and
               Carlos Olarte and
               Elaine Pimentel},
  title     = {A General Proof System for Modalities in Concurrent Constraint
               Programming},
  booktitle = {CONCUR},
  year      = {2013},
  pages     = {410-424},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40184-8_29},
  editor    = {Pedro R. D'Argenio and
               Hern{\'a}n C. Melgratti},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {8052},
  year      = {2013},
  isbn      = {978-3-642-40183-1},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/ts-sellf.pdf"
} 

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