DIPARTIMENTO DI
INFORMATICA
Università di Torino | |

Research on "Formal Methods in Computing"
## A calculus for ``environment-aware'' computationViviana BONO, Ferruccio DAMIANI , and Paola GIANNINI
@inproceedings{Bono-Damiani-Giannini:FWAN-02, author = {V. Bono and F. Damiani and P. Giannini}, title = {{A calculus for ``environment-aware'' computation}}, booktitle = {F-WAN'02}, year = {2002}, publisher = {Elsevier}, series = {ENTCS}, volume = {66.3} } |

["Formal Methods in Computing" group] [Department's HOME]

Last update: Apr 27, 2004 | |