Towards a formal model of autonomic services based on SelfLets

Stefania Pacifici, Matteo Rossi. Towards a formal model of autonomic services based on SelfLets. In International ICSE Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2009, 18-19 May 2009, Vancouver, BC, Canada. pages 13-17, IEEE, 2009. [doi]