A formal approach to autonomic systems programming: the SCEL language. De Nicola, R. In Bistarelli, S. & Formisano, A., editors, Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014, volume 1231, of CEUR Workshop Proceedings, pages 1, 2014. CEUR-WS.org.
A formal approach to autonomic systems programming: the SCEL language [pdf]Paper  bibtex   

Downloads: 0