Behavioural Types for a Calculus of Concurrent Objects

António Ravara, Vasco Thudichum Vasconcelos. Behavioural Types for a Calculus of Concurrent Objects. In Christian Lengauer, Martin Griebl, Sergei Gorlatch, editors, Euro-Par 97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Volume 1300 of Lecture Notes in Computer Science, pages 554-561, Springer, 1997.

@inproceedings{RavaraV97,
  title = {Behavioural Types for a Calculus of Concurrent Objects},
  author = {António Ravara and Vasco Thudichum Vasconcelos},
  year = {1997},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/RavaraV97},
  cites = {0},
  citedby = {0},
  pages = {554-561},
  booktitle = {Euro-Par  97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings},
  editor = {Christian Lengauer and Martin Griebl and Sergei Gorlatch},
  volume = {1300},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63440-1},
}