Vivek Nigam's Publications

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

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