A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract). De Nicola, R. In Lanese, I. and Madelaine, E., editors, Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, volume 8997, of Lecture Notes in Computer Science, pages 24–28, 2014. Springer.
A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract) [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/facs2/Nicola14,
  author    = {Rocco {De Nicola}},
  editor    = {Ivan Lanese and
               Eric Madelaine},
  title     = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language
               - (Long Abstract)},
  booktitle = {Formal Aspects of Component Software - 11th International Symposium,
               {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8997},
  pages     = {24--28},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-15317-9\_2},
  doi       = {10.1007/978-3-319-15317-9\_2},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/facs2/Nicola14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0