Rocco De Nicola. A formal approach to autonomic systems programming: the SCEL language. In Stefano Bistarelli, Andrea Formisano, 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, CEUR-WS.org, 2014. [doi]
Abstract is missing.