Lavinia Egidi, Marinella Petrocchi. Modelling a Secure Agent with Team Automata. Electronic Notes in Theoretical Computer Science, 142:111-127, 2006. [doi]
@article{EgidiP06,
title = {Modelling a Secure Agent with Team Automata},
author = {Lavinia Egidi and Marinella Petrocchi},
year = {2006},
doi = {10.1016/j.entcs.2004.12.046},
url = {http://dx.doi.org/10.1016/j.entcs.2004.12.046},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/EgidiP06},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {111-127},
}