Xavier Hannotin, Paolo Maggi, Riccardo Sisto. Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. In Andrea Omicini, Mirko Viroli, editors, WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop From Objects to Agents : Evolutive Trends of Software Systems, 4-5 September 2001, Modena, Italy. pages 36-41, Pitagora Editrice Bologna, 2001.
@inproceedings{HannotinMS01:0,
title = {Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study},
author = {Xavier Hannotin and Paolo Maggi and Riccardo Sisto},
year = {2001},
tags = {case study, process algebra, algebra, mobile},
researchr = {https://researchr.org/publication/HannotinMS01%3A0},
cites = {0},
citedby = {0},
pages = {36-41},
booktitle = {WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop From Objects to Agents : Evolutive Trends of Software Systems, 4-5 September 2001, Modena, Italy},
editor = {Andrea Omicini and Mirko Viroli},
publisher = {Pitagora Editrice Bologna},
isbn = {88-371-1272-6},
}