2012arXiv1212.4669R (Article)
|
Author(s) | Luca Roversi |
Title | « Communication, and concurrency with logic-based restriction inside a calculus of structures » |
Journal | ArXiv e-prints |
Year | 2012 |
Keywords |
Keywords: Computer Science - Logic in Computer Science
|
@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)