|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| CGKMV13 (In proceedings) | |
| Author(s) | Adriana Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo and Vishakha Sharma |
| Title | « A Calculus of Located Entities » |
| In | Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. |
| Series | EPTCS |
| Volume | 144 |
| Page(s) | 41-56 |
| Year | 2014 |
| BibTeX code |
@inproceedings{CGKMV13,
booktitle = {Proceedings 9th International Workshop on Developments in
Computational Models, {DCM} 2013, Buenos Aires, Argentina, 26
August 2013.},
volume = {144},
title = {{A Calculus of Located Entities}},
author = {Compagnoni, Adriana and Giannini, Paola and Kim, Catherine and
Milideo, Matthew and Sharma, Vishakha},
year = {2014},
pages = {41-56},
series = {{EPTCS}},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)