A Logical Theory of Concurrent Objects

José Meseguer. A Logical Theory of Concurrent Objects. In OOPSLA/ECOOP. pages 101-115, 1990.

@inproceedings{Meseguer90,
  title = {A Logical Theory of Concurrent Objects},
  author = {José Meseguer},
  year = {1990},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Meseguer90},
  cites = {0},
  citedby = {0},
  pages = {101-115},
  booktitle = {OOPSLA/ECOOP},
}