@article{2012arXiv1212.4669R,
  archiveprefix = {arXiv},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System},
  month = dec,
  author = {{Roversi}, {Luca}},
  keywords = {Computer Science - Logic in Computer Science},
  primaryclass = {cs.LO},
  title = {{Communication, and concurrency with logic-based restriction inside a
           calculus of structures}},
  adsurl = {http://adsabs.harvard.edu/abs/2012arXiv1212.4669R},
  eprint = {1212.4669},
  journal = {ArXiv e-prints},
  year = 2012,
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)