Abstract Interface Behavior of Object-Oriented Languages with Monitors

Erika Ábrahám, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors. In Roberto Gorrieri, Heike Wehrheim, editors, Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Volume 4037 of Lecture Notes in Computer Science, pages 218-232, Springer, 2006. [doi]

@inproceedings{AbrahamGS06:0,
  title = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
  author = {Erika Ábrahám and Andreas Grüner and Martin Steffen},
  year = {2006},
  doi = {10.1007/11768869_17},
  url = {http://dx.doi.org/10.1007/11768869_17},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbrahamGS06%3A0},
  cites = {0},
  citedby = {0},
  pages = {218-232},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings},
  editor = {Roberto Gorrieri and Heike Wehrheim},
  volume = {4037},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34893-X},
}