Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

Nour Ali, Emilio Tuosto. Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. In James L. Rash, Christopher Rouff, editors, 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. pages 1-10, IEEE Computer Society, 2011. [doi]

@inproceedings{AliT11,
  title = {Architectural Models of Ambient-PRISMA in Channel Ambient Calculus},
  author = {Nour Ali and Emilio Tuosto},
  year = {2011},
  doi = {10.1109/SEW.2011.7},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2011.7},
  researchr = {https://researchr.org/publication/AliT11},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011},
  editor = {James L. Rash and Christopher Rouff},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4627-8},
}