Gnesi S., Semini L.
Modelling specifications Software/program verification. Formal methods
There has been growing interest in wide-area distributed applications in recent years. A key concept for structuring such applications is represented by mobile agents, units of executing code that can migrate between sites.
Source: ERCIM news 36 (1999): 27–28.
Publisher: ERCIM., Le Chesnay
@article{oai:it.cnr:prodotti:407777, title = {Modelling mobile applications}, author = {Gnesi S. and Semini L.}, publisher = {ERCIM., Le Chesnay}, journal = {ERCIM news}, volume = {36}, pages = {27–28}, year = {1999} }