Formally Based Development of Concurrent Object-Oriented Systems

Stephan Philippi. Formally Based Development of Concurrent Object-Oriented Systems. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA. pages 2077-2083, CSREA Press, 1999.

@inproceedings{Philippi99:0,
  title = {Formally Based Development of Concurrent Object-Oriented Systems},
  author = {Stephan Philippi},
  year = {1999},
  tags = {rule-based, meta-model, model-driven development, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Philippi99%3A0},
  cites = {0},
  citedby = {0},
  pages = {2077-2083},
  booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA},
  editor = {Hamid R. Arabnia},
  publisher = {CSREA Press},
  isbn = {1-892512-15-7},
}