A Formalization of the IWIM Model

Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters. A Formalization of the IWIM Model. In António Porto, Gruia-Catalin Roman, editors, Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings. Volume 1906 of Lecture Notes in Computer Science, pages 267-283, Springer, 2000. [doi]

@inproceedings{KatisSW00,
  title = {A Formalization of the IWIM Model},
  author = {Piergiulio Katis and Nicoletta Sabadini and Robert F. C. Walters},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1906/19060267.htm},
  tags = {meta-model, C++, Meta-Environment},
  researchr = {https://researchr.org/publication/KatisSW00},
  cites = {0},
  citedby = {0},
  pages = {267-283},
  booktitle = {Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
  editor = {António Porto and Gruia-Catalin Roman},
  volume = {1906},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41020-1},
}