Dynamic Access Control in a Concurrent Object Calculus

Avik Chaudhuri. Dynamic Access Control in a Concurrent Object Calculus. In Christel Baier, Holger Hermanns, editors, CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Volume 4137 of Lecture Notes in Computer Science, pages 263-278, Springer, 2006. [doi]

@inproceedings{Chaudhuri06,
  title = {Dynamic Access Control in a Concurrent Object Calculus},
  author = {Avik Chaudhuri},
  year = {2006},
  doi = {10.1007/11817949_18},
  url = {http://dx.doi.org/10.1007/11817949_18},
  tags = {meta-model, Meta-Environment, access control, meta-objects},
  researchr = {https://researchr.org/publication/Chaudhuri06},
  cites = {0},
  citedby = {0},
  pages = {263-278},
  booktitle = {CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  editor = {Christel Baier and Holger Hermanns},
  volume = {4137},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37376-4},
}