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}, }