Object-Based Concurrency: A Process Calculus Analysis

Elie Najm, Jean-Bernard Stefani. Object-Based Concurrency: A Process Calculus Analysis. In Samson Abramsky, T. S. E. Maibaum, editors, TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP 91). Volume 493 of Lecture Notes in Computer Science, pages 359-380, Springer, 1991.

@inproceedings{NajmS91:0,
  title = {Object-Based Concurrency: A Process Calculus Analysis},
  author = {Elie Najm and Jean-Bernard Stefani},
  year = {1991},
  tags = {rule-based, meta-model, analysis, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/NajmS91%3A0},
  cites = {0},
  citedby = {0},
  pages = {359-380},
  booktitle = {TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP 91)},
  editor = {Samson Abramsky and T. S. E. Maibaum},
  volume = {493},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53982-4},
}