Specification of Object-Oriented Systems in LOTOS

Thomas Mayr. Specification of Object-Oriented Systems in LOTOS. In Kenneth J. Turner, editor, Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. pages 107-119, North-Holland, 1988.

@inproceedings{Mayr88,
  title = {Specification of Object-Oriented Systems in LOTOS},
  author = {Thomas Mayr},
  year = {1988},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Mayr88},
  cites = {0},
  citedby = {0},
  pages = {107-119},
  booktitle = {Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988},
  editor = {Kenneth J. Turner},
  publisher = {North-Holland},
  isbn = {0-444-87126-8},
}